Roland Guttenberg | DeepAI

DeepAI

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

Featured Co-authors

Javier Esparza
26 publications
Mikhail Raskin
12 publications
Philipp Czerner
6 publications
Martin Helfrich
5 publications

research

∙ 05/17/2023

Verification of Population Protocols with Unordered Data is undecidable

We consider the new extension of population protocols with unordered dat...

0 Roland Guttenberg, et al. ∙

research

∙ 11/05/2022

Geometry of VAS reachability sets

Vector Addition Systems (VAS) or equivalently petri-nets are a popular m...

0 Roland Guttenberg, et al. ∙

research

∙ 02/23/2022

Fast and Succinct Population Protocols for Presburger Arithmetic

In their 2006 seminal paper in Distributed Computing, Angluin et al. pre...

0 Philipp Czerner, et al. ∙