Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.

Giuseppe De Giacomo Antonio Di Stasio Moshe Y. Vardi Shufang Zhu

Published in: KR (2020)

Keyphrases

model checking
temporal logic
program synthesis
database
simplifying assumptions
linear temporal logic
machine learning
real time
texture synthesis
bounded model checking
deterministic automata