C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Regular Linear Temporal Logic.
Martin Leucker
César Sánchez
Published in:
ICTAC (2007)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bounded model checking
machine learning
objective function
domain specific
markov chain
domain independent
finite state