Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 231,110,510 papers from all fields of science
Search
Sign In
Create Free Account
Behavior tree
Known as:
Behavior Trees
, Behaviour Trees
, Behaviour tree
Behavior trees are a formal, graphical modelling language used primarily in systems and software engineering. Behavior trees employ a well-defined…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
31 relations
Access control
Artificial intelligence
Automated planning and scheduling
Caret
Expand
Broader (2)
Enterprise modelling
Systems engineering
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Evolving behaviour trees for automated discovery of novel combat strategy in real-time strategy wargames
M. Masek
,
C. Lam
,
Luke Kelly
,
Martin Wong
2019
Corpus ID: 216025265
2014
2014
Leveraging Linked Data to Build Hypermedia-Driven Web APIs
Markus Lanthaler
2014
Corpus ID: 59715498
In this chapter we will illustrate how Linked Data can be used to create loosely coupled, hypermedia-driven Web APIs. Apart from…
Expand
2006
2006
Architecture Normalization for Component-based Systems
Lian Wen
,
Geoff Dromey
International Workshop on Formal Aspects of…
2006
Corpus ID: 17416123
2006
2006
Humanoid Robots: Abarenbou and DaoDan
J. Baltes
,
Sancho McCann
,
J. Anderson
2006
Corpus ID: 15154910
This paper describes our latest humanoid robots Abarenbou and DaoDan. Abarenbou is a modification of the commercially available…
Expand
2004
2004
A model for object-based distributed processing using behaviour trees
E. Sithirasenan
,
V. Muthukkumarasamy
IASTED Conf. on Software Engineering and…
2004
Corpus ID: 32110081
2002
2002
Tree extension algebras: logics, automata, and query languages
Michael Benedikt
,
L. Libkin
Proceedings 17th Annual IEEE Symposium on Logic…
2002
Corpus ID: 5394473
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation T<T…
Expand
1999
1999
A Formal Approach to Conformance Testing of Distributed Routing Protocols
J. Bi
,
Jianping Wu
Formal Techniques for (Networked and) Distributed…
1999
Corpus ID: 30541175
This paper proposes a formal approach to conformance testing for OSPF v2, a widely used distributed routing protocol in Internet…
Expand
1997
1997
Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation
D. Clancy
,
B. Kuipers
AAAI/IAAI
1997
Corpus ID: 6504026
One of the major factors hindering the use of qualitative simulation techniques to reason about the behavior of complex dynamical…
Expand
1994
1994
Reasoning in Logic about Continuous Systems
B. Kuipers
,
B. Shults
International Conference on Principles of…
1994
Corpus ID: 1169172
1992
1992
Goal oriented execution for LOTOS
M. Haj-Hussein
,
L. Logrippo
,
Jacques Sincennes
Formal Techniques for (Networked and) Distributed…
1992
Corpus ID: 18512636
The dynamic semantics of LOTOS are defined in terms of axioms and inference rules which generate, from a given behaviour…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE