The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.

Hadas Kress-Gazit Hazem Torfah

Published in: CREST@ETAPS (2018)

Keyphrases

reactive systems
temporal logic
lessons learned
model checking
information flow
petri net
state machines
key issues
formal methods
databases
machine learning
control flow
data mining
training data
multi agent