C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Visibly Linear Temporal Logic.
Laura Bozzelli
César Sánchez
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
search algorithm
general purpose
machine learning
software engineering
planning problems
formal specification