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 field of Timed Logics and Automata Thoery. I did my M. Tech. from IIT Bombay in the same domain.

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: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya
  • Metric Temporal Logic with Counting. FoSSaCs 2016:Shankara Narayanan Krishna,Khushraj Nanik Madnani, Paritosh K. Pandya
  • Making Metric Temporal Logic Rational. MFCS 2017: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya
  • Logics Meet 1-clock Alternating Timed Automata. CONCUR 2018: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Paritosh K. Pandya,