Khushraj Madnani

I am a PhD. Student in Dept. of Computer Science, IIT Bombay working under Prof. S.N.Krishna and Prof. Paritosh K. Pandya . I am affliated with CFDVS Lab and currently working in the area of Timed Logics and Automata Thoery. I did my M. Tech. from IIT Bombay in the same area.

Research Interests:

  • Temporal Logics
  • Automata Theory
  • Modelling and Verfication of Real Time Systems
  • Distributed Systems
  • Learning Theory

Publications:

  • Partially Punctual Metric Temporal Logic is Decidable. TIME 2014 : Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
  • On Unary Fragments of MTL and TPTL over Timed Words. ICTAC 2014: Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya