Sciweavers

IFM
2007
Springer
104views Formal Methods» more  IFM 2007»
13 years 10 months ago
Probabilistic Timed Behavior Trees
The Behavior Tree notation has been developed as a method for systematically and traceably capturing user requirements. In this paper we extend the notation with probabilistic beha...
Robert Colvin, Lars Grunske, Kirsten Winter