Bounded Synthesis for Streett, Rabin, and \text CTL^*.

Ayrat Khalimov Roderick Bloem

Published in: CAV (2) (2017)

Keyphrases

temporal logic
model checking
information retrieval
program synthesis
free text
text retrieval
text documents
text mining
automatically extracted
natural language generation
keywords
text information
bounded model checking
information extraction
text data
text processing
string matching
database