Andrew Wells | DeepAI

DeepAI

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

Featured Co-authors

Yong Li
127 publications
Moshe Y. Vardi
39 publications
Suguman Bansal
10 publications
Lydia Kavraki
2 publications
Lucas Martinelli Tabajara
1 publication

research

∙ 05/15/2023

On Strategies in Synthesis Over Finite Traces

The innovations in reactive synthesis from Linear Temporal Logics over f...

0 Suguman Bansal, et al. ∙

research

∙ 05/20/2022

Synthesis from Satisficing and Temporal Goals

Reactive synthesis from high-level specifications that combine hard cons...

7 Suguman Bansal, et al. ∙