Fetching the paper…
Reading the bibliography…
Modularity is a central principle throughout the design process for cyber-physical systems.
Flow diagrams, turing machines and languages with only two formation rules
Corrado Böhm and Giuseppe Jacopini. 1966 · 1966
Earlier work this paper cites.
Transitiv orientierbare graphen
Tibor Gallai. 1967 · 1967
Earlier work this paper cites.
Letters to the editor: go to statement considered harmful
Edsger W Dijkstra. 1968 · 1968
Earlier work this paper cites.
Notes on structured programming
Edsger Wybe Dijkstra et al · 1970
Earlier work this paper cites.
Structured programming
Ole-Johan Dahl, Edsger Wybe Dijkstra, and Charles Antony Richard Hoare. 1972 · 1972
Earlier work this paper cites.
Analysis of structured programs
S Rao Kosaraju. 1974 · 1974
Earlier work this paper cites.
A complexity measure
Thomas J McCabe. 1976 · 1976
Earlier work this paper cites.
The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science (sfcs 1977) . IEEE, 46–57
Amir Pnueli. 1977 · 1977
Earlier work this paper cites.
Teleo-reactive programs for agent control
Nils Nilsson. 1993 · 1993
Earlier work this paper cites.
Structured testing: A testing methodology using the cyclomatic complexity metric . Vol. 500
Arthur Henry Watson, Dolores R Wallace, and Thomas J McCabe. 1996 · 1996
Earlier work this paper cites.
Modular decomposition and transitive orientation
Ross M McConnell and Jeremy P Spinrad. 1999 · 1999
Earlier work this paper cites.
The theory of graphs
Claude Berge. 2001 · 2001
Cited alongside, same era.
Introduction to automata theory, languages, and computation
John E Hopcroft, Rajeev Motwani, and Jeffrey D Ullman. 2001 · 2001
Cited alongside, same era.
Embedded software
Edward A Lee. 2002 · 2002
Cited alongside, same era.
The behavioral approach to open and interconnected systems
Jan C Willems. 2007 · 2007
Cited alongside, same era.
Principles of model checking
Christel Baier and Joost-Pieter Katoen. 2008 · 2008
Cited alongside, same era.
A principled analysis of Behavior Trees and their generalisations
Oliver Biggar, Mohammad Zamani, and Iman Shames. 2020 · 2008
Cited alongside, same era.
Spot 2.0 — a framework for LTL and ω \omega -automata manipulation. In Proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA’16) (Lecture Notes in Computer Science, Vol. 9938) . Springer, 122–129
Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille, Thibaud Michaud, Etienne Renault, and Laurent Xu. 2016 · 2016
Later among the works it cites.
Behavior trees for mission management of high-altitude pseudo-satellites
Andreas Klöckner. 2016 · 2016
Later among the works it cites.
How behavior trees modularize hybrid control systems and generalize sequential behavior compositions, the subsumption architecture, and decision trees
Michele Colledanchise and Petter Ögren. 2017 · 2017
Later among the works it cites.
Sequential logic: analysis and synthesis
Joseph Cavanagh. 2018 · 2018
Later among the works it cites.
Improving the Parallel Execution of Behavior Trees. In Proceedings of International Conference on Intelligent Robots and Systems . IEEE/RSJ, 7103–7110
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Verification and control of hybrid systems: a symbolic approach
Paulo Tabuada. 2009 · 2009
Cited alongside, same era.
An integrated system for autonomous robotics manipulation. In IEEE/RSJ International Conference on Intelligent Robots and Systems . IEEE, 2955–2962
J Andrew Bagnell, Felipe Cavalcanti, Lei Cui, Thomas Galluzzo, Martial Hebert, Moslem Kazemi, Matthew Klingensmith, Jacqueline Libby, Tian Yu Liu, Nancy Pollard, et al · 2012
Cited alongside, same era.
Increasing modularity of UAV control systems using computer game behavior trees. In Aiaa guidance, navigation, and control conference . 4458
Petter Ogren. 2012 · 2012
Cited alongside, same era.
Towards a unified behavior trees framework for robot control. In Proceedings of International Conference on Robotics and Automation . IEEE, 5420–5427
Alejandro Marzinotto, Michele Colledanchise, Christian Smith, and Petter Ögren. 2014 · 2014
Cited alongside, same era.
Handling complexity in the Halo 2 AI, 2005
D Isla. 2015 · 2015
Cited alongside, same era.
Michele Colledanchise and Lorenzo Natale. 2018 · 2018
Later among the works it cites.
Behavior Trees in Robotics and Al: An Introduction
Michele Colledanchise and Petter Ögren. 2018 · 2018
Later among the works it cites.
A Resourceful Reframing of Behavior Trees
Chris Martens, Eric Butler, and Joseph C Osborn. 2018 · 2018
Later among the works it cites.
Hidden Markov Models derived from Behavior Trees
Blake Hannaford. 2019 · 2019
Later among the works it cites.
A Framework for Formal Verification of Behavior Trees With Linear Temporal Logic
Oliver Biggar and Mohammad Zamani. 2020 · 2020
Closest in time.
A Survey of Behavior Trees in Robotics and AI
Matteo Iovino, Edvards Scukins, Jonathan Styrud, Petter Ögren, and Christian Smith. 2020 · 2020
Closest in time.
An expressiveness hierarchy of Behavior Trees and related architectures
Oliver Biggar, Mohammad Zamani, and Iman Shames. 2021 · 2021
Closest in time.