Login / Signup
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
Stefan Pranger
Bettina Könighofer
Lukas Posch
Roderick Bloem
Published in:
ATVA (2021)
Keyphrases
</>
reactive systems
temporal logic
real world
bayesian networks
petri net
generative model
dynamic environments
model checking
real time
expert systems
machine learning
database systems
computer systems
building blocks
life cycle
uncertain data