Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,857,839 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
2013
2013
A DSL for describing the artificial intelligence in real-time video games
T. Hastjarjanto
,
J. Jeuring
,
Sean Leather
3rd International Workshop on Games and Software…
2013
Corpus ID: 9189347
Many games have computer-controlled agents that play against a player. The behavior of these computer-controlled agents is…
Expand
2010
2010
A semantics for behavior trees
R. Colvin
,
I. Hayes
2010
Corpus ID: 62648999
In this paper we give a formal definition of the requirements translation language Behavior Trees. This language has been used…
Expand
2003
2003
Smooth structural zooming of h-v inclusion tree layouts
K. Pulo
,
P. Eades
,
M. Takatsuka
Proceedings International Conference on…
2003
Corpus ID: 56523692
We present a new paradigm for achieving focus+context visualizations called smooth structural zooming, which varies the level of…
Expand
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