Khushraj Madnani

Employment

• Max Planck Institute for Software Systems Postdoc
  2022 - Present
• Delft University of Technology Postdoctoral Researcher
  2020 - Present
• Tata Institute of Fundamental Research Postdoctoral Fellow
  2019 - 2019

Education

• Indian Institute of Technology Bombay M Tech + PhD.
  2011 - 2019
• Sardar Vallabhbhai National Institute of Technology Surat Bachelor of Technology
  2007 - Present

Projects & Funding

Projects & funding information is unavailable.

Publications (14)

• MightyPPL: Model Checking MITL with Past and Pnueli Modalities
  2026 DOI: 10.1007/978-3-032-22752-2_24
  +Save
• From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers
  Formal Aspects of Computing 2023 DOI: 10.1145/3571749
  +Save
• A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
  arXiv 2022
  +Save
• 2-Way 1-Clock ATA & Its Logics: Back To The Future With Alternations
  arXiv 2021
  +Save
• Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2021 DOI: 10.1007/978-3-030-90870-6_10
  +Save
• Generalizing non-punctuality for timed temporal logic with freeze quantifiers
  arXiv 2021
  +Save
• Self-Triggered Control for Near-Maximal Average Inter-Sample Time
  Proceedings of the IEEE Conference on Decision and Control 2021 DOI: 10.1109/CDC45484.2021.9682986
  +Save
• Self-triggered control for near-maximal average inter-sample time
  arXiv 2021
  +Save
• Büchi-Kamp theorems for 1-clock ATA
  arXiv 2018
  +Save
• Logics meet 1-clock alternating timed automata
  Leibniz International Proceedings in Informatics, LIPIcs 2018 DOI: 10.4230/LIPIcs.CONCUR.2018.39
  +Save