Austin Jones

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 21

Top Topics

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Publications

Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
Differentially Private LQ Control. IEEE Trans. Autom. Control. 68 (2) (2023)
Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale
Differential privacy for symbolic systems with application to Markov Chains. Autom. 152 (2023)
Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale
Differential Privacy for Symbolic Systems with Application to Markov Chains. CoRR (2022)
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. IEEE Robotics Autom. Lett. 7 (2) (2022)
Kevin Leahy, Austin Jones, Cristian Ioan Vasile
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams. CoRR (2020)
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
Control in belief space with temporal logic specifications using vision-based localization. Int. J. Robotics Res. 38 (6) (2019)
Austin Jones, Kevin Leahy, Matthew T. Hale
Towards Differential Privacy for Symbolic Systems. ACC (2019)
Austin Jones, Kevin Leahy, Matthew T. Hale
Towards Differential Privacy for Symbolic Systems. CoRR (2018)
Matthew T. Hale, Austin Jones, Kevin Leahy
Privacy in Feedback: The Differentially Private LQG. ACC (2018)
Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
Differentially Private LQ Control. CoRR (2018)
Zhaodan Kong, Austin Jones, Calin Belta
Temporal Logics for Learning and Detection of Anomalous Behavior. IEEE Trans. Autom. Control. 62 (3) (2017)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for robust satisfaction of signal temporal logic specifications. CDC (2016)
Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
Control in belief space with Temporal Logic specifications. CDC (2016)
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications. CoRR (2016)
Austin Jones, Usman Ali, Magnus Egerstedt
Optimal Pesticide Scheduling in Precision Agriculture. ICCPS (2016)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning. CoRR (2015)
Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta
Distributed information gathering policies under temporal logic constraints. CDC (2015)
Austin Jones, Mac Schwager, Calin Belta
Information-guided persistent monitoring under temporal logic constraints. ACC (2015)
Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt
Correct-by-construction control synthesis for multi-robot mixing. CDC (2015)
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
Enforcing temporal logic specifications via reinforcement learning. HSCC (2015)
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
SpaTeL: a novel spatial-temporal logic and its applications to networked systems. HSCC (2015)
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
Temporal logic inference for classification and prediction from data. HSCC (2014)
Austin Jones, Zhaodan Kong, Calin Belta
Anomaly detection in cyber-physical systems: A formal methods approach. CDC (2014)
Austin Jones, Mac Schwager, Calin Belta
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints CoRR (2013)
Austin Jones, Mac Schwager, Calin Belta
A receding horizon algorithm for informative path planning with temporal logic constraints. ICRA (2013)
Austin Jones, Mac Schwager, Calin Belta
Distribution temporal logic: Combining correctness with quality of estimation. CDC (2013)
Austin Jones, Sean Andersson
A motion-based communication system. ACC (2013)
Austin Jones, Mac Schwager, Calin Belta
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation. CoRR (2013)