On the Decidability and Complexity of Some Fragments of Metric Temporal Logic - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (CoRR, 2013)

On Unary Fragments of MTL and TPTL over Timed Words. - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (ICTAC, 2014)

Partially Punctual Metric Temporal Logic is Decidable. - Khushraj Madnani; Shankara Narayanan Krishna; Paritosh K. Pandya (TIME, 2014)

Metric Temporal Logic with Counting. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (FoSSaCS, 2016)

Making Metric Temporal Logic Rational. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (MFCS, 2017)

Logics Meet 1-Clock Alternating Timed Automata. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (CONCUR, 2018)

Büchi-Kamp Theorems for 1-clock ATA. - Shankara Narayanan Krishna; Khushraj Madnani; Paritosh K. Pandya (CoRR, 2018)

Self-Triggered Control for Near-Maximal Average Inter-Sample Time. - Gabriel de Albuquerque Gleizer; Khushraj Madnani; Manuel Mazo 002 (CDC, 2021)

Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers. - Shankara Narayanan Krishna; Khushraj Madnani; Manuel Mazo Jr. 002; Paritosh K. Pandya (FM, 2021)

Logics Meet 2-Way 1-Clock Alternating Timed Automata. - Shankara Narayanan Krishna; Khushraj Nanik Madnani; Manuel Mazo Jr. 002; Paritosh K. Pandya (CoRR, 2021)

A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence. - Gabriel de Albuquerque Gleizer; Khushraj Madnani; Manuel Mazo Jr. 002 (HSCC, 2022)

Monus Semantics in Vector Addition Systems with States. - Pascal Baumann 001; Khushraj Madnani; Filip Mazowiecki; Georg Zetzsche (CONCUR, 2023)

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete. - Shankara Narayanan Krishna; Khushraj Nanik Madnani; Rupak Majumdar; Paritosh K. Pandya (CONCUR, 2023)

Counter Machines with Infrequent Reversals. - Alain Finkel; Shankara Narayanan Krishna; Khushraj Madnani; Rupak Majumdar; Georg Zetzsche (FSTTCS, 2023)

More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words. - Hsi-Ming Ho; Khushraj Madnani (TIME, 2023)

When Do You Start Counting? Revisiting Counting and Pnueli Modalities in Timed Logics. - Hsi-Ming Ho; Khushraj Madnani (DCM, 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. 002; Paritosh K. Pandya (Formal Aspects Comput., 2023)

An Efficient Quantifier Elimination Procedure for Presburger Arithmetic. - Christoph Haase; Shankara Narayanan Krishna; Khushraj Madnani; Om Swostik Mishra; Georg Zetzsche (ICALP, 2024)

Openness And Partial Adjacency In One Variable TPTL. - Shankara Narayanan Krishna; Khushraj Madnani; Agnipratim Nag; Paritosh K. Pandya (CoRR, 2024)

Expressive Equivalence Between Decidable Freeze and Metric Timed Temporal Logics. - Hsi-Ming Ho; Shankara Narayanan Krishna; Khushraj Madnani; Rupak Majumdar; Paritosh K. Pandya (CONCUR, 2025)

Approximate Problems for Finite Transducers. - Emmanuel Filiot; Ismaël Jecker; Khushraj Madnani; Saina Sunny (ICALP, 2025)

Metric quantifiers and counting in timed logics and automata. - Hsi-Ming Ho; Khushraj Madnani (Inf. Comput., 2025)