Khushraj Madnani

Available identifiers

zbMath Open madnani.khushrajMaRDI QIDQ2811350

List of research outcomes

Publication	Date of Publication	Type
From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers	2024-09-25	Paper
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence	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	2020-05-26	Paper
Metric temporal logic with counting	2016-06-10	Paper
On Unary Fragments of MTL and TPTL over Timed Words	2015-01-13	Paper
An efficient quantifier elimination procedure for Presburger arithmetic	N/A	Paper

Research outcomes over time

This page was built for person: Khushraj Madnani