Ashwin Bhaskar | DeepAI

DeepAI

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

Featured Co-authors

M. Praveen
5 publications

research

∙ 07/14/2022

Realizability Problem for Constraint LTL

Constraint linear-time temporal logic (CLTL) is an extension of LTL that...

0 Ashwin Bhaskar, et al. ∙

research

∙ 05/30/2022

LTL with Local and Remote Data Constraints

We consider an extension of linear-time temporal logic (LTL) with both l...

0 Ashwin Bhaskar, et al. ∙