Khushraj Madnani

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 17

Top Topics

Top Venues

Publications

Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. ICALP (2024)
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
An efficient quantifier elimination procedure for Presburger arithmetic. CoRR (2024)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers. Formal Aspects Comput. 35 (2) (2023)
Hsi-Ming Ho, Khushraj Madnani
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. TIME (2023)
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Monus semantics in vector addition systems with states. CoRR (2023)
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
Monus Semantics in Vector Addition Systems with States. CONCUR (2023)
Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
Counter Machines with Infrequent Reversals. FSTTCS (2023)
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. HSCC (2022)
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo
Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CDC (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers. CoRR (2021)
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
Self-Triggered Control for Near-Maximal Average Inter-Sample Time. CoRR (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. FM (2021)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Logics Meet 1-Clock Alternating Timed Automata. CONCUR (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Büchi-Kamp Theorems for 1-clock ATA. CoRR (2018)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. MFCS (2017)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Making Metric Temporal Logic Rational. CoRR (2017)
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
Metric Temporal Logic with Counting. FoSSaCS (2016)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Metric Temporal Logic with Counting. CoRR (2015)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
On Unary Fragments of MTL and TPTL over Timed Words. ICTAC (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Partially Punctual Metric Temporal Logic is Decidable. CoRR (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
Partially Punctual Metric Temporal Logic is Decidable. TIME (2014)
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic CoRR (2013)