Khushraj Madnani

I am a postdoctoral researcher at the Max Planck Institute for Software Systems, Kaiserslautern, Germany, under Prof. Rupak Majumdar and Prof. Georg Zetzsche.

Previous Affiliations:

  • Postdoctoral Researcher at Delft Center for Systems and Control, Faculty of 3ME, Delft University of Technology (Jan 2020 - December 2021).
  • Visiting Postdoctoral Fellow at Tata Institute for Fundamental Research, Colaba, Mumbai, India (August, 2019 - December 2020).
  • PhD at Dept. of Computer Science, Indian Institute of Technology Bombay, Mumbai, India (August 2013 - July 2019).

Research Interests:

My main research focus lies in exploring formal logics, infinite-state models, and their interrelations, which play a vital role in theoretical computer science and the practice of formal methods. My contributions are classified into the following thrust areas:

  • Specification and Verification of Timed Systems.
  • Scheduler Synthesis for Networked Control Cyber-Physical Systems.
  • Formal Logics and Models of Computation.

Publications:

Publications in Timed Logics and Automata:
  • 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.
  • Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. FM 2021: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya.
  • More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. TIME 2023: Hsi-Ming Ho, Khushraj Madnani.
  • Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. CONCUR 2023: Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya.
  • From Non-punctuality to Non-adjacency:A Quest for Decidabilty of Timed Temporal Logics with Quantifiers. ACM Journal of Formal Aspects of Computing Vol. 35, Issue 2, 2023.
  • When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics. Hsi-Ming Ho, Khushraj Madnani: DCM 2023 (13th Workshop on Development of Computability Models).
Publications in Network Controlled Cyber-Physical Systems:
  • Self-Triggered Control for Near-Maximal Average Inter-sample Time. CDC 2021: Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.
  • A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC 2022: Gabriel de Albuquerque Gleizer, Khushraj Nanik Madnani, Manuel Mazo Jr.
Publications in Formal Logics and Models of Computation:
  • Monus semantics in vector addition systems with states. CONCUR 2023:
    Pascal Baumann, Khushraj Madnani, Filip Mazowiecki and Georg Zetzsche.
  • Counter Machines with Infrequent Reversals. FSTTCS 2023: Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche.
  • From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. ACM Journal of Formal Aspects Comput. 35(2): Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya.
  • An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP 2024: Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche.
Imprint

Data Protection

Email Id: kmadnani@mpi-sws.org