Amrita Suresh | DeepAI

DeepAI

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

Featured Co-authors

Benedikt Bollig
14 publications
Alain Finkel
10 publications

research

∙ 11/29/2022

Branch-Well-Structured Transition Systems and Extensions

We propose a relaxation to the definition of a well-structured transitio...

0 Benedikt Bollig, et al. ∙

research

∙ 05/14/2021

Bounded Reachability Problems are Decidable in FIFO Machines

The undecidability of basic decision problems for general FIFO machines ...

0 Benedikt Bollig, et al. ∙