119 citations · 371 across the 57 of their papers we have counts for
131 papers
Capability-aware Task Allocation and Team Formation Analysis for Cooperative Exploration of Complex Environments
Muhammad Fadhil Ginting, Kyohei Otsu, Mykel J. Kochenderfer +1
To achieve autonomy in complex real-world exploration missions, we consider deployment strategies for a team of robots with heterogeneous autonomy capabilities. In this work, we fo…
Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments
Bernard Lange, Jiachen Li, Mykel J. Kochenderfer
Navigating complex and dynamic environments requires autonomous vehicles (AVs) to reason about both visible and occluded regions. This involves predicting the future motion of obse…
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Emiko Soroka, Mykel J. Kochenderfer, Sanjay Lall
Satisfiability modulo theories (SMT) is a core tool in formal verification. While the SMT-LIB specification language can be used to interact with theorem proving software, a high-l…
Efficient Determination of Safety Requirements for Perception Systems
Sydney M. Katz, Anthony L. Corso, Esen Yel +1
Perception systems operate as a subcomponent of the general autonomy stack, and perception system designers often need to optimize performance characteristics while maintaining saf…
Joint Falsification and Fidelity Settings Optimization for Validation of Safety-Critical Systems: A Theoretical Analysis
Ali Baheri, Mykel J. Kochenderfer
Safety validation is a crucial component in the development and deployment of autonomous systems, such as self-driving vehicles and robotic systems. Ensuring safe operation necessi…
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems
Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel +1
Estimating the probability of failure is an important step in the certification of safety-critical systems. Efficient estimation methods are often needed due to the challenges pose…