| 03 Feb 2024 |
ARIA Systems Group will have a strong presence with Peter, Kandai, and Morteza at the NSF’s Center for Autonomous Air Mobility and Sensing (CAAMS) meeting (Feb. 6-7). Find us at the poster sessions!
|
| 31 Jan 2024 |
Our work on "Stochastic Games for Interactive Manipulation Domains" has been accepted for presentation in IEEE Conference on Robotics and Automation (ICRA).
|
| 31 Jan 2024 |
Our work on "Optimal Planning for Timed Partial Order Specifications" has been accepted for presentation in IEEE Conference on Robotics and Automation (ICRA).
|
| 30 Jan 2024 |
Our work on "Temporal Segmentation in Multi-Agent Path Finding with Applications to Explainability" has been accepted for publication in Artificial Intelligence.
|
| 28 Jan 2024 |
Our work on "Shielded Deep Reinforcement Learning for Complex Spacecraft Specifications" has been accepted for presentation in American Control Conference (ACC).
|
| 02 Dec 2023 |
Our work on "Promises of Deep Kernel Learning for Control Synthesis" has been accepted for publication in the IEEE Control Systems Letters (L-CSS). Read the preprint here!
|
| 02 Dec 2023 |
Our work on "Formal Abstraction of General Stochastic Systems via Noise
Partitioning" has been accepted for publication in the IEEE Control Systems Letters (L-CSS). Read the preprint here!
|
| 17 Nov 2023 |
Our work on "Chance-Constrained Multi-Robot Motion Planning under Gaussian
Uncertainties" has been accepted for publication in the IEEE Robotics and Automation
Letters (RA-L). Read the preprint here!
|
| 16 Nov 2023 |
Our work on "Sampling-based Reactive Synthesis for Nondeterministic Hybrid Systems" has been accepted for publication in the IEEE Robotics and Automation
Letters (RA-L). Read the preprint here!
|
| 01 Dec 2023 |
Justin Kottinger successfully passed his comprehensive exam (thesis prospectus). Congrats Justin!
|
| 10 Nov 2023 |
Anne Theurkauf successfully passed her comprehensive exam (thesis prospectus). Congrats Anne!
|
| 03 Nov 2023 |
Kandai Watanabe successfully passed his comprehensive exam (thesis prospectus). Congrats Kandai!
|
| 17 Mar 2023 |
Dr. Lahijanian is invited to give a talk to The Committee on the History and Philosophy of Science (CHPS) at the University of Colorado.
|
| 03 Feb 2023 |
Our work on "Timed Partial Order Inference Algorithm" has been accepted for presentation at AAAI Int’l Conference on Automated Planning and Scheduling (ICAPS) 2023.
|
| 21 Jan 2023 |
Our work on "Interval Markov Decision Processes with Continuous Action-Spaces" has been accepted for presentation at ACM Int’l Conference on Hybrid Systems: Computation and Control (HSCC) 2023. Read the preprint here!
|
| 16 Jan 2023 |
Our work on "Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!
|
| 16 Jan 2023 |
Our work on "Chance-Constrained Motion Planning with Event-Triggered Estimation" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!
|
| 16 Jan 2023 |
Our work on "Planning with SiMBA: Motion Planning under Uncertainty for Temporal Goals using Simplified Belief Guides" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2023. Read the preprint here!
|
| 15 Jan 2023 |
Ibón Gracia, welcome to the ARIA Systems Group! We are excited to have you in the team!
|
| 04 Nov 2023 |
Roland Ilyes successfully defended his thesis. Congratulations Roland!
|
| 15 Sep 2022 |
Our work on "Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions" has been accepted for presentation at Conference on Neural Information Processing Systems (NeurIPS) 2022. Read the preprint here!
|
| 15 Sep 2022 |
Our work on "An Algorithm for Learning Switched Linear Dynamics from Data" has been accepted for presentation at Conference on Neural Information Processing Systems (NeurIPS) 2022.
|
| 15 Jul 2022 |
Our work on "Automaton-Guided Control Synthesis for Signal Temporal Logic Specifications" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2022. Read the preprint here!
|
| 15 Jul 2022 |
Our work on "Pareto Optimal Strategies for Event Triggered Estimation" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2022. Read the preprint here!
|
| 30 Jun 2022 |
Our work on "Conflict-based Search for Multi-Robot Motion Planning with Kinodynamic Constraints" has been accepted for presentation at IEEE Int’l Conf. on Intelligent Robots and Systems (IROS) 2022. Read the preprint here!
|
| 15 May 2022 |
Our work on "Formal Control Synthesis for Stochastic Neural Network Dynamic Models" has been accepted for publication in IEEE Control Systems Letters 2022. Read the preprint here!
|
| 25 Feb 2022 |
Our work on "Explainable Multi-Agent Path Finding Imaging" has been accepted for presentation at Int’l Conf. on Automated Planning and Scheduling (ICAPS) 2022. Read the preprint here!
|
| 31 Jan 2022 |
Our work on "Shielded Deep Reinforcement Learning for Multi-Sensor Spacecraft Imaging" has been accepted for presentation at American Control Conference (ACC) 2022. Read the preprint here!
|
| 31 Jan 2022 |
Our work on "Let’s Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation" has been accepted for presentation at IEEE Int’l Conf. on Robotics and Automation (ICRA) 2022. Read the preprint here!
|
| 31 Jan 2022 |
Our work on "Gaussian Belief Trees for Chance Constrained Asymptotically Optimal Motion Planning" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2022. Read the preprint here!
|
| 17 Sep 2021 |
Our work on "Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown Environments" has been accepted for publication in IEEE Transactions on Automation Science and Engineering (T-ASE) 2021. Well done, Eric!
|
| 23 Aug 2021 |
Robert Reed, welcome to the ARIA Systems Group! We are excited to have you in the team!
|
| 27 Jul 2021 |
Our work on "Synergistic Offline-Online Control Synthesis via Local Gaussian Process Regression" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2021. Read the preprint here!
|
| 30 Jun 2021 |
Our work on "Probabilistic Specification Learning for Planning with Safety Constraints" has been accepted for presentation at IEEE Int’l Conference on Intelligent Robots and Systems (IROS) 2021.
|
| 31 Mar 2021 |
Karan Muvvala successfully defended his thesis. Congratulations Karan!
|
| 28 Feb 2021 |
Our work on "Synthesis for Probabilistic Manipulation Domains" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2021.
|
| 28 Feb 2021 |
Our work on "Explainable Multi-agent Motion Planning" has been accepted for presentation at IEEE Int’l Conference on Robotics and Automation (ICRA) 2021.
|
| 23 Dec 2020 |
Our work on "Strategy synthesis for Unknown Dynamical Systems" has been accepted for presentation at ACM Conference on Hybrid Systems: Computation and Control (HSCC) 2021. Read the paper here!
|
| 18 Nov 2020 |
Richard Moon successfully defended his thesis. Congratulations Richard!
|
| 03 Nov 2020 |
Akash Ratheesh Babu successfully defended his thesis. Congratulations Akash!
|
| 03 Aug 2020 |
Our work on "LTLf Synthesis on Probabilistic Systems" has been accepted for presentation at the Int. Symposium on Games
|
| 24 Jul 2020 |
Nicholas Renninger successfully defended his thesis. Congratulations Nick!
|
| 15 Jul 2020 |
Our work on "Safety Verification of Unknown Dynamical Systems" has been accepted for presentation at IEEE Conference on Decision and Control (CDC) 2020. Read the paper here!
|
| 13 Jul 2020 |
Our work on "Towards Data-driven Verification of Unknown Dynamical Systems" has been accepted to the Robotics: Science and Systems Workshop for Explainable and Trustworthy Robot Decision Making for Scientific Data Collection. See full paper here!
|
| 13 Jul 2020 |
Our work on "Explainable Multi-Agent Path Finding" has been accepted to the Robotics: Science and Systems Workshop for Explainable and Trustworthy Robot Decision Making for Scientific Data Collection. See full paper here!
|
| 20 Feb 2020 |
ARIA Systems Group’s work on learning specifications has been featured on CEAS News. See article here!
|
| 31 Jan 2020 |
A paper has been accepted for publication in the IEEE Journal of Transactions on Automatic Control (TAC 2020).
|
| 20 Jan 2020 |
A paper has been accepted for presentation in Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2020).
|
| 14 Nov 2019 |
The ARIA Systems Research Group Website is live!
|
| 14 Nov 2019 |
Franka-Robot has a new home at ARIA Systems.
|