Safraless LTL synthesis considering maximal realizability.

Takashi Tomita Atsushi Ueno Masaya Shimakawa Shigeki Hagihara Naoki Yonezaki

Published in: Acta Informatica (2017)

Keyphrases

model checking
temporal logic
texture synthesis
linear temporal logic
bounded model checking
case study
real time
data sets
face recognition
data structure
relational databases
program synthesis