Conditional Bisimilarity for Reactive Systems.

Mathias Hülsbusch Barbara König Sebastian Küpper Lars Stoltenow

Published in: Log. Methods Comput. Sci. (2022)

Keyphrases

reactive systems
information flow
temporal logic
model checking
formal methods
control flow
petri net
state machines
random field model
real time systems
machine learning
real time
databases
bayesian networks
conditional probabilities