Austin Jones

Orcid: 0000-0003-0680-1477

According to our database1, Austin Jones authored at least 26 papers between 2013 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Differential privacy for symbolic systems with application to Markov Chains.
Autom., June, 2023

Differentially Private LQ Control.
IEEE Trans. Autom. Control., February, 2023

2022
Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).
IEEE Trans. Robotics, 2022

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.
IEEE Robotics Autom. Lett., 2022

2019
Control in belief space with temporal logic specifications using vision-based localization.
Int. J. Robotics Res., 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.
Proceedings of the Robotics Research, 2019

Towards Differential Privacy for Symbolic Systems.
Proceedings of the 2019 American Control Conference, 2019

2018
Privacy in Feedback: The Differentially Private LQG.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Temporal Logics for Learning and Detection of Anomalous Behavior.
IEEE Trans. Autom. Control., 2017

2016
Optimal Pesticide Scheduling in Precision Agriculture.
Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Control in belief space with Temporal Logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Q-Learning for robust satisfaction of signal temporal logic specifications.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Formal methods paradigms for estimation and machine learning in dynamical systems
PhD thesis, 2015

Robust Satisfaction of Temporal Logic Specifications via Reinforcement Learning.
CoRR, 2015

Enforcing temporal logic specifications via reinforcement learning.
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.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Distributed information gathering policies under temporal logic constraints.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Correct-by-construction control synthesis for multi-robot mixing.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Information-guided persistent monitoring under temporal logic constraints.
Proceedings of the American Control Conference, 2015

2014
Temporal logic inference for classification and prediction from data.
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.
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
CoRR, 2013

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

A receding horizon algorithm for informative path planning with temporal logic constraints.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Distribution temporal logic: Combining correctness with quality of estimation.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

A motion-based communication system.
Proceedings of the American Control Conference, 2013


  Loading...