C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Merging Features in Featured Transition Systems.
Joanne M. Atlee
Sandy Beidu
Uli Fahrenberg
Axel Legay
Published in:
MoDeVVa@MoDELS (2015)
Keyphrases
</>
transition systems
artificial intelligence
markov chain
temporal logic
planning problems