C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Spot 2.0 - A Framework for LTL and \omega -Automata Manipulation.
Alexandre Duret-Lutz
Alexandre Lewkowicz
Amaury Fauchille
Thibaud Michaud
Etienne Renault
Laurent Xu
Published in:
ATVA (2016)
Keyphrases
</>
bayesian framework
main contribution
website
data sets
machine learning
domain specific
theoretical framework
temporal logic