Login / Signup
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.
Julius Adelt
Sebastian Bruch
Paula Herber
Mathis Niehage
Anne Remke
Published in:
AISoLA (2023)
Keyphrases
</>
model checking
temporal logic
learning algorithm
knowledge acquisition
model checker
temporal properties
automated verification
artificial intelligence
domain independent
formal specification
finite state
timed automata