Khushraj Madnani
Khushraj Madnani
Post-doctorate, Delft Center for Systems and Control, TU Delft
Verified email at tudelft.nl
Title
Cited by
Cited by
Year
Metric temporal logic with counting
SN Krishna, K Madnani, PK Pandya
International Conference on Foundations of Software Science and Computation …, 2016
102016
Making metric temporal logic rational
SN Krishna, K Madnani, PK Pandya
arXiv preprint arXiv:1705.01501, 2017
62017
Partially punctual metric temporal logic is decidable
K Madnani, SN Krishna, PK Pandya
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
62014
Logics Meet 1-Clock Alternating Timed Automata
SN Krishna, K Madnani, PK Pandya
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
32018
On the decidability and complexity of some fragments of Metric Temporal Logic
K Madnani, SN Krishna, PK Pandya
arXiv preprint arXiv:1305.6137, 2013
22013
Metric Temporal Logic with Counting
K Madnani, SN Krishna, P Pandya
arXiv preprint arXiv:1512.09032, 2015
12015
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
12014
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
Self-Triggered Control for Near-Maximal Average Inter-Sample Time
GA Gleizer, K Madnani, M Mazo Jr
arXiv preprint arXiv:2105.03110, 2021
2021
Self-Triggered Control for Near-Maximal Average Inter-Sample Time
G de Albuquerque Gleizer, K Madnani, M Mazo Jr
arXiv e-prints, arXiv: 2105.03110, 2021
2021
B\" uchi-Kamp Theorems for 1-clock ATA
SN Krishna, K Madnani, P Pandya
arXiv preprint arXiv:1802.02514, 2018
2018
Büchi-Kamp Theorems for 1-clock ATA
S Narayanan Krishna, K Madnani, P Pandya
arXiv e-prints, arXiv: 1802.02514, 2018
2018
Making Metric Temporal Logic Rational
S Narayanan Krishna, K Madnani, PK Pandya
arXiv e-prints, arXiv: 1705.01501, 2017
2017
A Regular Metric Temporal Logic
SN Krishna, K Madnani, P Pandya
2017
On Unary Fragments of MTL and TPTL
K Madnani, SN Krishna, PK Pandya
The system can't perform the operation now. Try again later.
Articles 1–15