18 citations · 34 across the 8 of their papers we have counts for
9 papers
Distributed Observation Scheduling and Sensor Fusion For Large Agile Constellations
Nicholas Niziolek, Ryan Draves, Nolan Ales +4
With the rapid increase in interest towards large scale earth observing satellite constellations, the problem of properly commanding and utilizing these systems has become increasi…
Flexible Supervised Autonomy for Exploration in Subterranean Environments
Harel Biggie, Eugene R. Rush, Danny G. Riley +9
While the capabilities of autonomous systems have been steadily improving in recent years, these systems still struggle to rapidly explore previously unknown environments without t…
Multi-Agent Autonomy: Advancements and Challenges in Subterranean Exploration
Michael T. Ohradzansky, Eugene R. Rush, Danny G. Riley +9
Artificial intelligence has undergone immense growth and maturation in recent years, though autonomous systems have traditionally struggled when fielded in diverse and previously u…
Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
Autonomous systems often have complex and possibly unknown dynamics due to, e.g., black-box components. This leads to unpredictable behaviors and makes control design with performa…
3D Reactive Control and Frontier-Based Exploration for Unstructured Environments
Shakeeb Ahmad, Andrew B. Mills, Eugene R. Rush +2
The paper proposes a reliable and robust planning solution to the long range robotic navigation problem in extremely cluttered environments. A two-layer planning architecture is pr…
Strategy Synthesis for Partially-known Switched Stochastic Systems
John Jackson, Luca Laurenti, Eric Frew +1
We present a data-driven framework for strategy synthesis for partially-known switched stochastic systems. The properties of the system are specified using linear temporal logic (L…
Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression
John Jackson, Luca Laurenti, Eric Frew +1
The deployment of autonomous systems that operate in unstructured environments necessitates algorithms to verify their safety. This can be challenging due to, e.g., black-box compo…
Factorized Machine Self-Confidence for Decision-Making Agents
Brett W Israelsen, Nisar R Ahmed, Eric Frew +2
Algorithmic assurances from advanced autonomous systems assist human users in understanding, trusting, and using such systems appropriately. Designing these systems with the capaci…
A Signaling Game Approach to Databases Querying and Interaction
Ben McCamish, Vahid Ghadakchi, Arash Termehchy +1
As most users do not precisely know the structure and/or the content of databases, their queries do not exactly reflect their information needs. The database management systems (DB…