Marcus Gerhold | DeepAI

DeepAI

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

Featured Co-authors

Pedro R. D'Argenio
9 publications
Arnd Hartmanns
8 publications
Sean Sedwards
5 publications

research

∙ 03/11/2023

Reproduction Report for SV-COMP 2023

The Competition on Software Verification (SV-COMP) is a large computatio...

0 Marcus Gerhold, et al. ∙

research

∙ 10/16/2017

A Hierarchy of Scheduler Classes for Stochastic Automata

Stochastic automata are a formal compositional model for concurrent stoc...

0 Pedro R. D'Argenio, et al. ∙