Khushraj Madnani
From MaRDI portal
Person:2811350
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers Formal Aspects of Computing | 2024-09-25 | Paper |
| A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers | 2023-04-21 | Paper |
| Logics meet 1-clock alternating timed automata | 2021-08-04 | Paper |
| Making Metric Temporal Logic Rational (available as arXiv preprint) | 2020-05-26 | Paper |
| Metric temporal logic with counting Lecture Notes in Computer Science | 2016-06-10 | Paper |
| On Unary Fragments of MTL and TPTL over Timed Words Theoretical Aspects of Computing – ICTAC 2014 | 2015-01-13 | Paper |
| An efficient quantifier elimination procedure for Presburger arithmetic (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Khushraj Madnani
