Metric temporal logic with counting SN Krishna, K Madnani, PK Pandya Foundations of Software Science and Computation Structures: 19th …, 2016 | 14 | 2016 |
Making metric temporal logic rational SN Krishna, K Madnani, PK Pandya arXiv preprint arXiv:1705.01501, 2017 | 9 | 2017 |
Logics meet 1-clock alternating timed automata SN Krishna, K Madnani, PK Pandya 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 7 | 2018 |
Partially punctual metric temporal logic is decidable K Madnani, SN Krishna, PK Pandya 2014 21st International Symposium on Temporal Representation and Reasoning …, 2014 | 7 | 2014 |
On decidable extensions of metric temporal logic KN Madnani Mumbai, 2019 | 5 | 2019 |
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 | 4 | 2021 |
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 | 3 | 2021 |
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 |
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 |
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 | 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 |
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 | | 2023 |
Monus semantics in vector addition systems with states P Baumann, K Madnani, F Mazowiecki, G Zetzsche arXiv preprint arXiv:2308.14926, 2023 | | 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 | | 2023 |
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 | | 2023 |
Logics Meet 2-Way 1-Clock Alternating Timed Automata SN Krishna, KN Madnani, M Mazo Jr, PK Pandya arXiv preprint arXiv:2107.12986, 2021 | | 2021 |
2-Way 1-Clock ATA & Its Logics: Back To The Future With Alternations SN Krishna, K Madnani, M Mazo Jr, PK Pandya arXiv preprint arXiv:2107.12986, 2021 | | 2021 |
Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers S Narayanan Krishna, K Madnani, M Mazo Jr, PK Pandya arXiv e-prints, arXiv: 2105.09534, 2021 | | 2021 |