2 results
Benoît Delahaye ; Uli Fahrenberg ; Kim G. Larsen ; Axel Legay.
This paper studies a difference operator for stochastic systems whose specifications are represented by Abstract Probabilistic Automata (APAs). In the case refinement fails between two specifications, the target of this operator is to produce a specification APA that represents all witness PAs of […]
Published on August 26, 2014
David Cachera ; Uli Fahrenberg ; Axel Legay.
We develop a $^*$-continuous Kleene $\omega$-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on $^*$-continuous Kleene […]
Published on May 24, 2019