Get started
Author

Khushraj Madnani

Observed names: Madnani, Khushraj, Madnani, Khushraj Nanik
ORCID: 0000-0003-0629-3847
Observed ORCID: 0000-0003-0629-3847
OpenAlex ID: A5075264711
Metric Temporal Logic with Counting
2016 · Shankara Narayanan Krishna, Khushraj Madnani, et al. · Lecture notes in computer science · 11
Making Metric Temporal Logic Rational
2017 · Krishna, Shankara Narayanan, Madnani, Khushraj, et al. · arXiv (Cornell University) · 6
PDF
Self-Triggered Control for Near-Maximal Average Inter-Sample Time
2021 · Gabriel de A. Gleizer, Khushraj Madnani, et al. · IEEE Conference on Decision and Control (CDC) · 5
From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers
2022 · Shankara Narayanan Krishna, Khushraj Madnani, et al. · Formal Aspects of Computing · 3
PDF
Büchi-Kamp Theorems for 1-clock ATA
2018 · Krishna, Shankara Narayanan, Madnani, Khushraj, et al. · arXiv (Cornell University) · 3
PDF
On the Decidability and Complexity of Some Fragments of Metric Temporal Logic
2013 · Madnani, Khushraj, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University) · 3
PDF
MightyPPL: Model Checking MITL with Past and Pnueli Modalities
2026 · Hsi-Ming Ho, Shankara Narayanan Krishna, et al. · Lecture notes in computer science · 2
PDF
Partially Punctual Metric Temporal Logic is Decidable
2014 · Khushraj Madnani, Shankara Narayanan Krishna, et al. · International Symposium on Temporal Representation and Reasoning · 2
When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics
2024 · Hsi-Ming Ho, Khushraj Madnani · Electronic Proceedings in Theoretical Computer Science · 1
PDF
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete
2023 · Krishna, Shankara Narayanan, Madnani, Khushraj Nanik, et al. · arXiv (Cornell University) · 1
PDF
Counter Machines with Infrequent Reversals
2023 · Finkel, Alain, Krishna, Shankara Narayanan, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 1
PDF
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers
2021 · Shankara Narayanan Krishna, Khushraj Madnani, et al. · Lecture notes in computer science · 1
PDF
Partially Punctual Metric Temporal Logic is Decidable
2014 · Madnani, Khushraj, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University) · 1
PDF
On Unary Fragments of MTL and TPTL over Timed Words
2014 · Khushraj Madnani, Shankara Narayanan Krishna, et al. · Lecture notes in computer science · 1
On Synthesis of Metric Interval Temporal Logics
2026 · Ho, Hsi-Ming, Krishna, Shankaranarayanan, et al. · arXiv (Cornell University)
PDF
$$\textsc {MightyPPL} {}$$: Towards Model Checking MTL
2026 · Hsi-Ming Ho, Shankara Narayanan Krishna, et al. · Lecture notes in computer science
MightyPPL : Towards model checking MTL
2026 · Ho, Hsi-Ming, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University)
PDF
MightyPPL: Verification of MITL with Past and Pnueli Modalities
2025 · Ho, Hsi-Ming, Krishna, Shankara Narayanan, et al. · arXiv (Cornell University)
PDF
Metric quantifiers and counting in timed logics and automata
2025 · Hsi-Ming Ho, Khushraj Madnani · Information and Computation
PDF
Approximate Problems for Finite Transducers
2025 · Filiot, Emmanuel, Jecker, Ismaël, et al. · arXiv (Cornell University)
PDF
Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics
2025 · Ho, Hsi-Ming, Krishna, Shankara Narayanan, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
PDF
Openness And Partial Adjacency In One Variable TPTL
2024 · Krishna, Shankara Narayanan, Madnani, Khushraj, et al. · arXiv (Cornell University)
PDF
Monus Semantics in Vector Addition Systems with States
2023 · Baumann, Pascal, Madnani, Khushraj, et al. · arXiv (Cornell University)
PDF
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence
2022 · Gabriel de Albuquerque Gleizer, Khushraj Madnani, et al. · ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
PDF
Logics Meet 2-Way 1-Clock Alternating Timed Automata
2021 · Krishna, Shankara Narayanan, Madnani, Khushraj Nanik, et al. · arXiv (Cornell University)
PDF
Works count: 30
Citation count: 42
H-index: 3
I10-index: 1
Year
Topic
Type