Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems
John S. Baras, Sai Sandeep Damera, Ryan Matheu +2
Autonomous cyber-physical systems (CPS) sit at the intersection of Model-Based Systems Engineering (MBSE) and data-driven Machine Learning and Artificial Intelligence (ML/AI), yet…
cs.RO2026
Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
Ryan Matheu, John S. Baras, Calin Belta
Behavior Trees (BTs) provide designers an intuitive graphical interface to construct long-horizon plans for autonomous systems. To ensure their correctness and safety, rigorous for…