Mohan Dantam | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Amaury Pouly
10 publications
Richard Mayr
9 publications

research

∙ 07/11/2023

Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games

We consider simple stochastic games 𝒢 with energy-parity objectives, a c...

0 Mohan Dantam, et al. ∙

research

∙ 06/16/2020

On the Decidability of Reachability in Continuous Time Linear Time-Invariant Systems

We consider the decidability of state-to-state reachability in linear ti...

0 Mohan Dantam, et al. ∙