Khushraj Madnani | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Georg Zetzsche
14 publications
Manuel Mazo Jr
13 publications
Filip Mazowiecki
11 publications
Paritosh K. Pandya
9 publications
Shankara Narayanan Krishna
7 publications
Pascal Baumann
5 publications
Paritosh Pandya
1 publication

research

∙ 08/28/2023

Monus semantics in vector addition systems with states

Vector addition systems with states (VASS) are a popular model for concu...

0 Pascal Baumann, et al. ∙

research

∙ 05/20/2021

Generalizing Non-Punctuality for Timed Temporal Logic with Freeze Quantifiers

Metric Temporal Logic (MTL) and Timed Propositional Temporal Logic (TPTL...

0 Shankara Narayanan Krishna, et al. ∙

research

∙ 02/06/2018

Büchi-Kamp Theorems for 1-clock ATA

This paper investigates Kamp-like and Büchi-like theorems for 1-clock Al...

0 Shankara Narayanan Krishna, et al. ∙