34 citations · 72 across the 53 of their papers we have counts for
18 papers · 1 filter
The FABRIC Strategy for Verifying Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
Forward reachability analysis is a dominant approach for verifying reach-avoid specifications in neural feedback systems, i.e., dynamical systems controlled by neural networks, and…
A Semi-Decentralized Approach to Multiagent Control
Mahdi Al-Husseini, Mykel J. Kochenderfer, Kyle H. Wray
We introduce an expressive framework and algorithms for the semi-decentralized control of cooperative agents in environments with communication uncertainty. Whereas semi-Markov con…
A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems
Samuel I. Akinwande, Sydney M. Katz, Mykel J. Kochenderfer +1
Forward reachability analysis is the predominant approach for verifying reach-avoid properties in neural feedback systems (dynamical systems controlled by neural networks). This do…
Digital Simulations to Enhance Military Medical Evacuation Decision-Making
Jeremy Fischer, Mahdi Al-Husseini, Ram Krishnamoorthy +2
Medical evacuation is one of the United States Army's most storied and critical mission sets, responsible for efficiently and expediently evacuating the battlefield ill and injured…
Conditional Deep Generative Models for Belief State Planning
Antoine Bigeard, Anthony Corso, Mykel Kochenderfer
Partially observable Markov decision processes (POMDPs) are used to model a wide range of applications, including robotics, autonomous vehicles, and subsurface problems. However, a…
Managing Geological Uncertainty in Critical Mineral Supply Chains: A POMDP Approach with Application to U.S. Lithium Resources
Mansur Arief, Yasmine Alonso, CJ Oshiro +5
The world is entering an unprecedented period of critical mineral demand, driven by the global transition to renewable energy technologies and electric vehicles. This transition pr…