Derek Egolf | DeepAI

DeepAI

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

Featured Co-authors

Stavros Tripakis
14 publications

research

∙ 06/05/2023

Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms

Synthesis of distributed protocols is a hard, often undecidable, problem...

0 Derek Egolf, et al. ∙

research

∙ 12/23/2022

Decoupled Fitness Criteria for Reactive Systems

The correctness problem for reactive systems has been thoroughly explore...

0 Derek Egolf, et al. ∙