Translating Behavior Trees to Petri Nets for Model Checking.

Matteo Palmas, Michaela Klauck, Ralph Lange, Enrico Ghiorzi, Armando Tacchella

Browse the full MODELS paper archive.