Login / Signup
It's Time to Play Safe: Shield Synthesis for Timed Systems.
Roderick Bloem
Peter Gjøl Jensen
Bettina Könighofer
Kim Guldstrand Larsen
Florian Lorber
Alexander Palmisano
Published in:
CoRR (2020)
Keyphrases
</>
complex systems
management system
distributed systems
intelligent systems
data sets
neural network
machine learning
genetic algorithm
decision trees
multi agent systems
access control
computer systems
knowledge based systems
systems require