Kevin Leahy

CoRR, 2024

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots.

[BibT_eX]

[DOI]

Ho Chit Siu

CoRR, 2024

Graph Q-Learning for Combinatorial Optimization.

[BibT_eX]

[DOI]

Victoria Magdalena Dax

Jiachen Li

Mykel J. Kochenderfer

CoRR, 2024

Run-Time Task Composition with Safety Semantics.

[BibT_eX]

[DOI]

Zachary Serlin

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

2023

Differential privacy for symbolic systems with application to Markov Chains.

[BibT_eX]

[DOI]

Autom., June, 2023

Differentially Private LQ Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., February, 2023

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.

[BibT_eX]

[DOI]

CoRR, 2023

Safety-Aware Task Composition for Discrete and Continuous Reinforcement Learning.

[BibT_eX]

[DOI]

Zachary Serlin

CoRR, 2023

Centralized Multi-agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.

[BibT_eX]

[DOI]

Alexandra Forsey-Smerek

Ho Chit Siu

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Rewrite-Based Decomposition of Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Cristian-Ioan Vasile

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

STL: Surprisingly Tricky Logic (for System Validation).

[BibT_eX]

[DOI]

Ho Chit Siu

IROS, 2023

Temporal Logic Swarm Control with Splitting and Merging.

[BibT_eX]

[DOI]

Gustavo A. Cardona

Cristian-Ioan Vasile

Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Robust Multi-Agent Coordination from CaTL+ Specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2022

Verification of Autonomous Systems [TC Spotlight].

[BibT_eX]

[DOI]

Dejanira Araiza-Illan

Michael Fisher

Joanna Isabelle Olszewska

Signe A. Redfield

IEEE Robotics Autom. Mag., 2022

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.

[BibT_eX]

[DOI]

Austin Jones

Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., 2022

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Knowledge-Integrated Informed AI for National Security.

[BibT_eX]

[DOI]

Anu K. Myne

Kevin J. Leahy

Ryan J. Soklaski

CoRR, 2022

Context-Dependent Anomaly Detection with Knowledge Graph Embedding Models.

[BibT_eX]

[DOI]

Nathan Vaska

Victoria Helus

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

2019

Tracking a Markov Target in a Discrete Environment With Multiple Sensors.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Control in belief space with temporal logic specifications using vision-based localization.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2019

Towards Differential Privacy for Symbolic Systems.

[BibT_eX]

[DOI]

Austin Jones

Matthew T. Hale

Proceedings of the 2019 American Control Conference, 2019

2018

Distributed Sensing Subject to Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Privacy in Feedback: The Differentially Private LQG.

[BibT_eX]

[DOI]

Matthew T. Hale

Austin Jones

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Informative path planning under temporal logic constraints with performance guarantees.

[BibT_eX]

[DOI]

Kevin J. Leahy

Derya Aksaray

Proceedings of the 2017 American Control Conference, 2017

Semi-supervised pattern synthesis in spatially distributed dynamical systems.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.

[BibT_eX]

[DOI]

Konstantinos Oikonomopoulos

Dingjiang Zhou

Cristian Ioan Vasile

Auton. Robots, 2016

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Experimental Robotics, 2016

Always choose second best: Tracking a moving target on a graph with a noisy binary sensor.

[BibT_eX]

[DOI]

Proceedings of the 15th European Control Conference, 2016

Control in belief space with Temporal Logic specifications.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Integration of deterministic inference with formal synthesis for control under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Temporal logic motion planning using POMDPs with parity objectives: case study paper.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Ivana Cerná

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Distributed information gathering policies under temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.

[BibT_eX]

[DOI]

Konstantinos Oikonomopoulos

Dingjiang Zhou

Cristian Ioan Vasile