Austin Jones

31 papers A* 1A 2C 4Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2024 A conf
Evaluating Italian Vowel Variation with the Recurrent Neural Network Phonet.
INTERSPEECH
Austin Jones, Margaret E. L. Renwick
2024 A conf
Phonological Feature Detection for US English using the Phonet Library.
INTERSPEECH
Harsha Veena Tadavarthy, Austin Jones, Margaret E. L. Renwick
2023 J jnl
Differential privacy for symbolic systems with application to Markov Chains.
Autom.
Bo Chen, Kevin Leahy, Austin Jones, Matthew Hale
2023 J jnl
Differentially Private LQ Control.
IEEE Trans. Autom. Control.
Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew T. Hale
2022 J jnl
Differential Privacy for Symbolic Systems with Application to Markov Chains.
CoRR
Bo Chen, Kevin Leahy, Austin Jones, Matthew T. Hale
2022 J jnl
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
IEEE Robotics Autom. Lett.
Kevin Leahy, Austin Jones, Cristian-Ioan Vasile
2020 J jnl
Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
CoRR
Kevin Leahy, Austin Jones, Cristian Ioan Vasile
2019 J jnl
Control in belief space with temporal logic specifications using vision-based localization.
Int. J. Robotics Res.
Kevin Leahy, Eric Cristofalo, Cristian Ioan Vasile, Austin Jones, Eduardo Montijano, Mac Schwager, Calin Belta
2019 C conf
Towards Differential Privacy for Symbolic Systems.
ACC
Austin Jones, Kevin Leahy, Matthew T. Hale
2018 J jnl
Differentially Private LQ Control.
CoRR
Kasra Yazdani, Austin Jones, Kevin Leahy, Matthew Hale
2018 C conf
Privacy in Feedback: The Differentially Private LQG.
ACC
Matthew T. Hale, Austin Jones, Kevin Leahy
2018 J jnl
Towards Differential Privacy for Symbolic Systems.
CoRR
Austin Jones, Kevin Leahy, Matthew T. Hale
2017 J jnl
Temporal Logics for Learning and Detection of Anomalous Behavior.
IEEE Trans. Autom. Control.
Zhaodan Kong, Austin Jones, Calin Belta
2016 — conf
Control in belief space with Temporal Logic specifications.
CDC
Cristian Ioan Vasile, Kevin Leahy, Eric Cristofalo, Austin Jones, Mac Schwager, Calin Belta
2016 — conf
Optimal Pesticide Scheduling in Precision Agriculture.
ICCPS
Austin Jones, Usman Ali, Magnus Egerstedt
2016 J jnl
Q-Learning for Robust Satisfaction of Signal Temporal Logic Specifications.
CoRR
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2016 — conf
Q-Learning for robust satisfaction of signal temporal logic specifications.
CDC
Derya Aksaray, Austin Jones, Zhaodan Kong, Mac Schwager, Calin Belta
2015 — conf
Correct-by-construction control synthesis for multi-robot mixing.
CDC
Yancy Diaz-Mercado, Austin Jones, Calin Belta, Magnus Egerstedt
2015 — conf
Distributed information gathering policies under temporal logic constraints.
CDC
Kevin Leahy, Austin Jones, Mac Schwager, Calin Belta
2015 — conf
Enforcing temporal logic specifications via reinforcement learning.
HSCC
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2015 — —
Formal methods paradigms for estimation and machine learning in dynamical systems
Austin Jones
2015 C conf
Information-guided persistent monitoring under temporal logic constraints.
ACC
Austin Jones, Mac Schwager, Calin Belta
2015 J jnl
Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.
CoRR
Austin Jones, Derya Aksaray, Zhaodan Kong, Mac Schwager, Calin Belta
2015 — conf
SpaTeL: a novel spatial-temporal logic and its applications to networked systems.
HSCC
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
2014 — conf
Anomaly detection in cyber-physical systems: A formal methods approach.
CDC
Austin Jones, Zhaodan Kong, Calin Belta
2014 — conf
Temporal logic inference for classification and prediction from data.
HSCC
Zhaodan Kong, Austin Jones, Ana Medina Ayala, Ebru Aydin Gol, Calin Belta
2013 C conf
A motion-based communication system.
ACC
Austin Jones, Sean B. Andersson
2013 A* conf
A receding horizon algorithm for informative path planning with temporal logic constraints.
ICRA
Austin Jones, Mac Schwager, Calin Belta
2013 — conf
Distribution temporal logic: Combining correctness with quality of estimation.
CDC
Austin Jones, Mac Schwager, Calin Belta
2013 J jnl
Technical Report: A Receding Horizon Algorithm for Informative Path Planning with Temporal Logic Constraints
CoRR
Austin Jones, Mac Schwager, Calin Belta
2013 J jnl
Technical Report: Distribution Temporal Logic: Combining Correctness with Quality of Estimation.
CoRR
Austin Jones, Mac Schwager, Calin Belta