Login / Signup
TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments.
Stefan Pranger
Bettina Könighofer
Lukas Posch
Roderick Bloem
Published in:
CoRR (2021)
Keyphrases
</>
reactive systems
probabilistic model
dynamic environments
databases
data mining
training set
generative model
petri net
model checking
uncertain data
state machines