| Metric temporal logic with counting SN Krishna, K Madnani, PK Pandya Foundations of Software Science and Computation Structures: 19th …, 2016 | 16 | 2016 |
| Logics meet 1-clock alternating timed automata SN Krishna, K Madnani, PK Pandya 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 10 | 2018 |
| Making metric temporal logic rational SN Krishna, K Madnani, PK Pandya arXiv preprint arXiv:1705.01501, 2017 | 10 | 2017 |
| Partially punctual metric temporal logic is decidable K Madnani, SN Krishna, PK Pandya 2014 21st International Symposium on Temporal Representation and Reasoning …, 2014 | 8 | 2014 |
| Self-Triggered Control for Near-Maximal Average Inter-Sample Time GA Gleizer, K Madnani, M Mazo 2021 60th IEEE Conference on Decision and Control (CDC), 1308-1313, 2021 | 6 | 2021 |
| On decidable extensions of metric temporal logic KN Madnani Mumbai, 2019 | 6 | 2019 |
| From non-punctuality to non-adjacency: A quest for decidability of timed temporal logics with quantifiers SN Krishna, K Madnani, M Mazo Jr, P Pandya Formal Aspects of Computing 35 (2), 1-50, 2023 | 5 | 2023 |
| Generalizing non-punctuality for timed temporal logic with freeze quantifiers SN Krishna, K Madnani, M Mazo, PK Pandya Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 4 | 2021 |
| An efficient quantifier elimination procedure for Presburger arithmetic C Haase, SN Krishna, K Madnani, OS Mishra, G Zetzsche arXiv preprint arXiv:2405.01183, 2024 | 3 | 2024 |
| On the decidability and complexity of some fragments of Metric Temporal Logic K Madnani, SN Krishna, PK Pandya arXiv preprint arXiv:1305.6137, 2013 | 3 | 2013 |
| More Than 0s and 1s: Metric Quantifiers and Counting over Timed Words HM Ho, K Madnani 30th International Symposium on Temporal Representation and Reasoning (TIME …, 2023 | 2 | 2023 |
| Metric temporal logic with counting K Madnani, SN Krishna, P Pandya arXiv preprint arXiv:1512.09032, 2015 | 2 | 2015 |
| On Unary Fragments of MTL and TPTL over Timed Words K Madnani, SN Krishna, PK Pandya International Colloquium on Theoretical Aspects of Computing, 333-350, 2014 | 2 | 2014 |
| When do you start counting? revisiting counting and pnueli modalities in timed logics HM Ho, K Madnani arXiv preprint arXiv:2410.00539, 2024 | 1 | 2024 |
| Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete SN Krishna, KN Madnani, R Majumdar, PK Pandya arXiv preprint arXiv:2309.00386, 2023 | 1 | 2023 |
| Counter machines with infrequent reversals A Finkel, SN Krishna, K Madnani, R Majumdar, G Zetzsche 43rd IARCS Annual Conference on Foundations of Software Technology and …, 2023 | 1 | 2023 |
| A simpler alternative: Minimizing transition systems modulo alternating simulation equivalence GA Gleizer, K Madnani, M Mazo Jr Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 1 | 2022 |
| B\" uchi-Kamp Theorems for 1-clock ATA SN Krishna, K Madnani, P Pandya arXiv preprint arXiv:1802.02514, 2018 | 1 | 2018 |
| Metric Quantifiers and Counting in Timed Logics and Automata HM Ho, K Madnani Information and Computation, 105268, 2025 | | 2025 |
| Openness And Partial Adjacency In One Variable TPTL SN Krishna, K Madnani, A Nag, P Pandya arXiv preprint arXiv:2411.00117, 2024 | | 2024 |
