A motion-based communication system. - Austin Jones; Sean B. Andersson (ACC, 2013)

Distribution temporal logic: Combining correctness with quality of estimation. - Austin Jones; Mac Schwager; Calin Belta (CDC, 2013)

A receding horizon algorithm for informative path planning with temporal logic constraints. - Austin Jones; Mac Schwager; Calin Belta (ICRA, 2013)

Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation. - Austin Jones; Mac Schwager; Calin Belta (CoRR, 2013)

Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints - Austin Jones; Mac Schwager; Calin Belta (CoRR, 2013)

Anomaly detection in cyber-physical systems: A formal methods approach. - Austin Jones; Zhaodan Kong; Calin Belta (CDC, 2014)

Temporal logic inference for classification and prediction from data. - Zhaodan Kong; Austin Jones; Ana Medina Ayala; Ebru Aydin Gol; Calin Belta (HSCC, 2014)

Information-guided persistent monitoring under temporal logic constraints. - Austin Jones; Mac Schwager; Calin Belta (ACC, 2015)

Correct-by-construction control synthesis for multi-robot mixing. - Yancy Diaz-Mercado; Austin Jones; Calin Belta; Magnus Egerstedt (CDC, 2015)

Distributed information gathering policies under temporal logic constraints. - Kevin Leahy 001; Austin Jones; Mac Schwager; Calin Belta (CDC, 2015)

SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

Enforcing temporal logic specifications via reinforcement learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (HSCC, 2015)

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. - Austin Jones; Derya Aksaray; Zhaodan Kong; Mac Schwager; Calin Belta (CoRR, 2015)

Formal methods paradigms for estimation and machine learning in dynamical systems - Austin Jones (2015)

Q-Learning for robust satisfaction of signal temporal logic specifications. - Derya Aksaray; Austin Jones; Zhaodan Kong; Mac Schwager; Calin Belta (CDC, 2016)

Control in belief space with Temporal Logic specifications. - Cristian Ioan Vasile; Kevin Leahy 001; Eric Cristofalo; Austin Jones; Mac Schwager; Calin Belta (CDC, 2016)

Optimal Pesticide Scheduling in Precision Agriculture. - Austin Jones; Usman Ali 002; Magnus Egerstedt (ICCPS, 2016)

Temporal Logics for Learning and Detection of Anomalous Behavior. - Zhaodan Kong; Austin Jones; Calin Belta (IEEE Trans. Autom. Control., 2017)

Privacy in Feedback: The Differentially Private LQG. - Matthew T. Hale; Austin Jones; Kevin Leahy 001 (ACC, 2018)

Towards Differential Privacy for Symbolic Systems. - Austin Jones; Kevin Leahy 001; Matthew T. Hale (ACC, 2019)

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications. - Austin M. Jones; Kevin Leahy 001; Cristian Ioan Vasile; Sadra Sadraddini; Zachary Serlin; Roberto Tron; Calin Belta (ISRR, 2019)

Control in belief space with temporal logic specifications using vision-based localization. - Kevin Leahy 001; Eric Cristofalo; Cristian Ioan Vasile; Austin Jones; Eduardo Montijano; Mac Schwager; Calin Belta (Int. J. Robotics Res., 2019)

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. - Kevin Leahy 001; Austin Jones; Cristian-Ioan Vasile (IEEE Robotics Autom. Lett., 2022)

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS). - Kevin Leahy 001; Zachary Serlin; Cristian-Ioan Vasile; Andrew Schoer; Austin M. Jones; Roberto Tron; Calin Belta (IEEE Trans. Robotics, 2022)

Differentially Private LQ Control. - Kasra Yazdani; Austin Jones; Kevin Leahy 001; Matthew T. Hale (IEEE Trans. Autom. Control., 2023)

Differential privacy for symbolic systems with application to Markov Chains. - Bo Chen; Kevin Leahy 001; Austin Jones; Matthew Hale 001 (Autom., 2023)

Evaluating Italian Vowel Variation with the Recurrent Neural Network Phonet. - Austin Jones; Margaret E. L. Renwick (INTERSPEECH, 2024)

Phonological Feature Detection for US English using the Phonet Library. - Harsha Veena Tadavarthy; Austin Jones; Margaret E. L. Renwick (INTERSPEECH, 2024)