Conditional Bisimilarity for Reactive Systems.

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

Published in: CoRR (2020)

Keyphrases

reactive systems
model checking
temporal logic
information flow
petri net
formal methods
state machines
random field model
control flow
database
real time systems
relational databases
databases
real time
computer systems
anomaly detection
natural language
multi agent
social networks
machine learning