2 papers
cs.FL2023
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
Lisa Willemsen, Anne Remke, Erika Ábrahám
Different stochastic extensions of hybrid automata have been proposed in the past, with unclear expressivity relations between them. To structure and relate these modeling language…
cs.LO2023
Introducing Asynchronicity to Probabilistic Hyperproperties
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám +2
Probabilistic hyperproperties express probabilistic relations between different executions of systems with uncertain behavior. HyperPCTL allows to formalize such properties, where…