Khushraj Madnani

According to our database, Khushraj Madnani authored at least 18 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics.

Hsi-Ming Ho, Khushraj Madnani

CoRR, 2024

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic.

Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

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

Formal Aspects Comput., June, 2023

More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words.

Hsi-Ming Ho, Khushraj Madnani

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Counter Machines with Infrequent Reversals.

Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche

Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Rupak Majumdar, Paritosh K. Pandya

Proceedings of the 34th International Conference on Concurrency Theory, 2023

Monus Semantics in Vector Addition Systems with States.

Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.

Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Logics Meet 2-Way 1-Clock Alternating Timed Automata.

Shankara Narayanan Krishna, Khushraj Nanik Madnani, Manuel Mazo Jr., Paritosh K. Pandya

CoRR, 2021

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.

Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya

Proceedings of the Formal Methods - 24th International Symposium, 2021

Self-Triggered Control for Near-Maximal Average Inter-Sample Time.

Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2018

Büchi-Kamp Theorems for 1-clock ATA.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

CoRR, 2018

Logics Meet 1-Clock Alternating Timed Automata.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

Making Metric Temporal Logic Rational.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Metric Temporal Logic with Counting.

Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2014

Partially Punctual Metric Temporal Logic is Decidable.

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

On Unary Fragments of MTL and TPTL over Timed Words.

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

On the Decidability and Complexity of Some Fragments of Metric Temporal Logic

Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya

CoRR, 2013