Model Checking, Synthesis, and Learning.

Ernst-Rüdiger Olderog Bernhard Steffen Wang Yi

Published in: Model Checking, Synthesis, and Learning (2021)

Keyphrases

model checking
temporal logic
reinforcement learning
epistemic logic
learning algorithm
artificial intelligence
finite state
knowledge acquisition
formal specification
formal methods
formal verification
model checker
reactive systems
temporal properties
timed automata
bounded model checking