Publications

Conference Papers:

• [C15] Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics
  Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya.
  36th International Conference on Concurrency Theory, CONCUR 2025, (Just accepted).
• [C14] Approximate Problems for Finite Transducers.
  Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny.
  52nd EATCS International Colloquium on Automata, Languages and Programming, ICALP 2025, pp: 155:1–155:19.
• [C13] An efficient quantifier elimination procedure for Presburger Arithmetic.
  Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche.
  51st EATCS International Colloquium on Automata, Languages and Programming, ICALP 2024, pp: 142:1–142:17.
• [C12] Counter Machines with Infrequent Reversals.
  Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche.
  43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, pp: 42:1–42:17.
• [C11] Satisfiability Checking For Multi-clock Unilateral TPTL is PSPACE Complete.
  Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh Pandya.
  34th International Conference on Concurrency Theory, CONCUR 2023, pp: 23:1–23:18.
• [C10] Monus semantics in vector addition systems with states.
  Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche.
  34th International Conference on Concurrency Theory, CONCUR 2023, pp: 10:1–10:18.
• [C9] More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words.
  Hsi-Ming Ho, Khushraj Madnani.
  30th International Symposium on Temporal Representation and Reasoning, TIME 2023, pp: 7:1–7:15.
• [C8] A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
  Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
  25th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2022, pp: 7:1–7:11.
• [C7] Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers.
  Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya.
  24th International Symposium on Formal Methods, FM 2021, pp: 182–199.
• [C6] Self-Triggered Control for Near-Maximal Average Inter-Sample Time.
  Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
  60th Conference on Decision and Control, CDC 2021, pp: 1308–1313.
• [C5] Logics Meet 1-clock Alternating Timed Automata.
  Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya.
  29th International Conference on Concurrency Theory, CONCUR 2018, pp: 39:1–39:17.
• [C4] Making Metric Temporal Logic Rational.
  Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya.
  42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, pp: 77:1–77:14.
• [C3] Metric Temporal Logic with Counting.
  Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya.
  19th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS – ETAPS 2016, pp: 335–352.
• [C2] Partially Punctual Metric Temporal Logic is Decidable.
  Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya.
  21st International Symposium on Temporal Representation and Reasoning, TIME 2014, pp: 174–183.
• [C1] On Unary Fragments of MTL and TPTL over Timed Word.
  Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya.
  11th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014, pp: 333–350.

Journal Papers

• [J2]Metric quantifiers and counting in timed logics and automata.
  Hsi-Ming Ho, Khushraj Madnani.
  Information and Computatoin, 2025, Publisher: Elsevier, Vol. 303, Article 105268., pp: 1–25.
• [J1]From Non-Punctuality to Non-Adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.
  Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya.
  ACM Journal of Formal Aspects of Computing, 2023, Vol. 33, Issue 2. Article 9., pp: 9:1–9:50.

Workshop Papers

• [W1]When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics.
  Hsi-Ming Ho, Khushraj Madnani.
  13th International Workshop on Developments in Computational Models (DCM 2023).

Informal Publications (Archived but not yet submitted).

• [J2]Openness And Partial Adjacency In One Variable TPTL.
  Hsi-Ming Ho, Khushraj Madnani.
  Information and Computatoin, 2025, Publisher: Elsevier, Vol. 303, Article 105268., pp: 1–25.
• [I2]From Non-Punctuality to Non-Adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.
  Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh K. Pandya.
  CoRR abs/2411.00117, 2024
• [I1]Logics Meet 2-Way 1-Clock Alternating Timed Automata.
  Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya.
  CoRR abs/2107.12986, 2021