Austin Jones

Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., 2022

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]

Kevin Leahy

Matthew T. Hale

Proceedings of the 2019 American Control Conference, 2019

2018

Privacy in Feedback: The Differentially Private LQG.

[BibT_eX]

[DOI]

Matthew T. Hale

Kevin Leahy

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Temporal Logics for Learning and Detection of Anomalous Behavior.

[BibT_eX]

[DOI]

Zhaodan Kong

IEEE Trans. Autom. Control., 2017

2016

Optimal Pesticide Scheduling in Precision Agriculture.

[BibT_eX]

[DOI]

Usman Ali

Magnus Egerstedt

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Control in belief space with Temporal Logic specifications.

[BibT_eX]

[DOI]

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

Q-Learning for robust satisfaction of signal temporal logic specifications.

[BibT_eX]

[DOI]

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

2015

Formal methods paradigms for estimation and machine learning in dynamical systems

[BibT_eX]

[DOI]

PhD thesis, 2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2015

Enforcing temporal logic specifications via reinforcement learning.

[BibT_eX]

[DOI]

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

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.

[BibT_eX]

[DOI]

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

Correct-by-construction control synthesis for multi-robot mixing.

[BibT_eX]

[DOI]

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

Information-guided persistent monitoring under temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

2014

Temporal logic inference for classification and prediction from data.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Anomaly detection in cyber-physical systems: A formal methods approach.

[BibT_eX]

[DOI]

Zhaodan Kong

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints

[BibT_eX]

[DOI]

CoRR, 2013

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.

[BibT_eX]

[DOI]

CoRR, 2013

A receding horizon algorithm for informative path planning with temporal logic constraints.

[BibT_eX]

[DOI]

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

Distribution temporal logic: Combining correctness with quality of estimation.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A motion-based communication system.

[BibT_eX]

[DOI]