Austin Jones

According to our database, Austin Jones authored at least 28 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Phonological Feature Detection for US English using the Phonet Library.

Harsha Veena Tadavarthy, Austin Jones, Margaret E. L. Renwick

Proceedings of the 25th Annual Conference of the International Speech Communication Association, 2024

Evaluating Italian Vowel Variation with the Recurrent Neural Network Phonet.

Austin Jones, Margaret E. L. Renwick

Proceedings of the 25th Annual Conference of the International Speech Communication Association, 2024

2023

Differential privacy for symbolic systems with application to Markov Chains.

Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale

Autom., June, 2023

Differentially Private LQ Control.

Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale

IEEE Trans. Autom. Control., February, 2023

2022

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

Kevin Leahy, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta

IEEE Trans. Robotics, 2022

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.

Kevin Leahy, Austin Jones, Cristian-Ioan Vasile

IEEE Robotics Autom. Lett., 2022

2019

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

Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta

Int. J. Robotics Res., 2019

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

Austin M. Jones, Kevin Leahy, Cristian Ioan Vasile, Sadra Sadraddini, Zachary Serlin, Roberto Tron, Calin Belta

Proceedings of the Robotics Research, 2019

Towards Differential Privacy for Symbolic Systems.

Austin Jones, Kevin Leahy, Matthew T. Hale

Proceedings of the 2019 American Control Conference, 2019

2018

Privacy in Feedback: The Differentially Private LQG.

Matthew T. Hale, Austin Jones, Kevin Leahy

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Temporal Logics for Learning and Detection of Anomalous Behavior.

Zhaodan Kong, Austin Jones, Calin Belta

IEEE Trans. Autom. Control., 2017

2016

Optimal Pesticide Scheduling in Precision Agriculture.

Austin Jones, 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.

Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta

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

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

Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta

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

2015

Formal methods paradigms for estimation and machine learning in dynamical systems

Austin Jones

PhD thesis, 2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

CoRR, 2015

Enforcing temporal logic specifications via reinforcement learning.

Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta

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.

Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta

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

Distributed information gathering policies under temporal logic constraints.

Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta

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

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

Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt

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

Information-guided persistent monitoring under temporal logic constraints.

Austin Jones, Mac Schwager, Calin Belta

Proceedings of the American Control Conference, 2015

2014

Temporal logic inference for classification and prediction from data.

Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta

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.

Austin Jones, Zhaodan Kong, Calin Belta

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

Austin Jones, Mac Schwager, Calin Belta

CoRR, 2013

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

Austin Jones, Mac Schwager, Calin Belta

CoRR, 2013

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

Austin Jones, Mac Schwager, Calin Belta

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

Distribution temporal logic: Combining correctness with quality of estimation.

Austin Jones, Mac Schwager, Calin Belta

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

A motion-based communication system.

Austin Jones, Sean B. Andersson

Proceedings of the American Control Conference, 2013