Khushraj Madnani

30 papers A* 2B 6C 3Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2026 — conf
MightyPPL: Model Checking MITL with Past and Pnueli Modalities.
TACAS (1)
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025 A* conf
Approximate Problems for Finite Transducers.
ICALP
Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny
2025 J jnl
Approximate Problems for Finite Transducers.
CoRR
Emmanuel Filiot, Ismaël Jecker, Khushraj Madnani, Saina Sunny
2025 B conf
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics.
CONCUR
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2025 J jnl
Metric quantifiers and counting in timed logics and automata.
Inf. Comput.
Hsi-Ming Ho, Khushraj Madnani
2025 J jnl
MightyPPL: Verification of MITL with Past and Pnueli Modalities.
CoRR
Hsi-Ming Ho, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Paritosh K. Pandya
2024 A* conf
An Efficient Quantifier Elimination Procedure for Presburger Arithmetic.
ICALP
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
2024 J jnl
An efficient quantifier elimination procedure for Presburger arithmetic.
CoRR
Christoph Haase, Shankara Narayanan Krishna, Khushraj Madnani, Om Swostik Mishra, Georg Zetzsche
2024 J jnl
Openness And Partial Adjacency In One Variable TPTL.
CoRR
Shankara Narayanan Krishna, Khushraj Madnani, Agnipratim Nag, Paritosh K. Pandya
2023 — conf
Counter Machines with Infrequent Reversals.
FSTTCS
Alain Finkel, Shankara Narayanan Krishna, Khushraj Madnani, Rupak Majumdar, Georg Zetzsche
2023 J jnl
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.
Formal Aspects Comput.
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2023 B conf
Monus Semantics in Vector Addition Systems with States.
CONCUR
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
2023 J jnl
Monus semantics in vector addition systems with states.
CoRR
Pascal Baumann, Khushraj Madnani, Filip Mazowiecki, Georg Zetzsche
2023 C conf
More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words.
TIME
Hsi-Ming Ho, Khushraj Madnani
2023 — conf
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics.
DCM
Hsi-Ming Ho, Khushraj Madnani
2022 — conf
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
HSCC
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
2021 J jnl
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers.
CoRR
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021 B conf
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers.
FM
Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya
2021 — conf
Self-Triggered Control for Near-Maximal Average Inter-Sample Time.
CDC
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo
2021 J jnl
Self-Triggered Control for Near-Maximal Average Inter-Sample Time.
CoRR
Gabriel de Albuquerque Gleizer, Khushraj Madnani, Manuel Mazo Jr.
2018 J jnl
Büchi-Kamp Theorems for 1-clock ATA.
CoRR
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2018 B conf
Logics Meet 1-Clock Alternating Timed Automata.
CONCUR
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017 B conf
Making Metric Temporal Logic Rational.
MFCS
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2017 J jnl
Making Metric Temporal Logic Rational.
CoRR
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2016 B conf
Metric Temporal Logic with Counting.
FoSSaCS
Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya
2015 J jnl
Metric Temporal Logic with Counting.
CoRR
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014 C conf
On Unary Fragments of MTL and TPTL over Timed Words.
ICTAC
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014 C conf
Partially Punctual Metric Temporal Logic is Decidable.
TIME
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2014 J jnl
Partially Punctual Metric Temporal Logic is Decidable.
CoRR
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya
2013 J jnl
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
CoRR
Khushraj Madnani, Shankara Narayanan Krishna, Paritosh K. Pandya