Lucas Bueri | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Radu Iosif
14 publications
Marius Bozga
10 publications

research

∙ 04/26/2022

On an Invariance Problem for Parameterized Concurrent Systems

We consider concurrent systems consisting of replicated finite-state pro...

0 Marius Bozga, et al. ∙

research

∙ 02/19/2022

Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems

We consider a logic used to describe sets of configurations of distribut...

0 Marius Bozga, et al. ∙