Sign in
Khushraj Nanik Madnani
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Pspace Complete
Transition Systems
Temporal Logic
Causal Graph
Top Venues
CoRR
CONCUR
</>
Publications
</>
Shankara Narayanan Krishna
,
Khushraj Nanik Madnani
,
Rupak Majumdar
,
Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.
CONCUR
(2023)
Shankara Narayanan Krishna
,
Khushraj Nanik Madnani
,
Rupak Majumdar
,
Paritosh K. Pandya
Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete.
CoRR
(2023)
Gabriel de Albuquerque Gleizer
,
Khushraj Nanik Madnani
,
Manuel Mazo Jr.
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
CoRR
(2022)
Shankara Narayanan Krishna
,
Khushraj Nanik Madnani
,
Manuel Mazo Jr.
,
Paritosh K. Pandya
Logics Meet 2-Way 1-Clock Alternating Timed Automata.
CoRR
(2021)