Probabilistic timed behavior trees

Colvin, Robert, Grunske, Lars and Winter, Kirsten (2007). Probabilistic timed behavior trees. In: J. Davies and J. Gibbons, Proceedings of the 6th International Conference IFM 2007 Integrated Formal Methods. Integrated Formal Methods 2007, Oxford, UK, (156-175). 2-5 July, 2007. doi:10.1007/978-3-540-73210-5_9

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Colvin, Robert
Grunske, Lars
Winter, Kirsten
Title of paper Probabilistic timed behavior trees
Conference name Integrated Formal Methods 2007
Conference location Oxford, UK
Conference dates 2-5 July, 2007
Proceedings title Proceedings of the 6th International Conference IFM 2007 Integrated Formal Methods   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Series Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication New York, U.S.
Publisher Elsevier North-Holland
Publication Year 2007
Year available 2007
Sub-type Fully published paper
DOI 10.1007/978-3-540-73210-5_9
Open Access Status DOI
ISBN 9783540732099
ISSN 0302-9743
Editor J. Davies
J. Gibbons
Volume 80
Issue 2
Start page 156
End page 175
Total pages 10
Language eng
Abstract/Summary 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 behaviour, so that reliability, performance, and other dependability properties can be expressed. The semantics of probabilistic timed Behavior Trees is given by mapping them to probabilistic timed automata. We gain advantages for requirements capture using Behavior Trees by incorporating into the notation an existing elegant specification formalism (probabilistic timed automata) which has tool support for formal analysis of probabilistic user requirements.
Subjects 280302 Software Engineering
700102 Application tools and system utilities
Keyword Behavior Trees
timed automata
model checking
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 11 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 15 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Sat, 19 Apr 2008, 03:47:14 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering