Khushraj Nanik Madnani | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Rupak Majumdar
36 publications
Manuel Mazo Jr
13 publications
Paritosh K. Pandya
9 publications
Shankara Narayanan Krishna
7 publications

research

∙ 09/01/2023

Satisfiability Checking of Multi-Variable TPTL with Unilateral Intervals Is PSPACE-Complete

We investigate the decidability of the 0,∞ fragment of Timed Proposition...

0 Shankara Narayanan Krishna, et al. ∙

research

∙ 07/27/2021

Logics Meet 2-Way 1-Clock Alternating Timed Automata

In this paper, we study the extension of 1-clock Alternating Timed Autom...

0 Shankara Narayanan Krishna, et al. ∙