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