Jana Tumova

Florian T. Pokorny

CoRR, 2024

TTT: A Temporal Refinement Heuristic for Tenuously Tractable Discrete Time Reachability Problems.

[BibT_eX]

[DOI]

Chelsea Sidrane

CoRR, 2024

Forward Invariance in Trajectory Spaces for Safety-critical Control.

[BibT_eX]

[DOI]

Rafael I. Cabral Muchacho

Florian T. Pokorny

CoRR, 2024

Robust STL Control Synthesis under Maximal Disturbance Sets.

[BibT_eX]

[DOI]

Joris Verhagen

Lars Lindemann

CoRR, 2024

Multi-agent transformer-accelerated RL for satisfaction of STL specifications.

[BibT_eX]

[DOI]

Albin Larsson Forsberg

Aneta Vulgarakis Feljan

José Manuel Gaspar Sánchez

CoRR, 2024

Transitional Grid Maps: Efficient Analytical Inference of Dynamic Environments under Limited Sensing.

[BibT_eX]

[DOI]

CoRR, 2024

Risk-aware Control for Robots with Non-Gaussian Belief Spaces.

[BibT_eX]

[DOI]

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

Highway-Driving with Safe Velocity Bounds on Occluded Traffic.

[BibT_eX]

[DOI]

Truls Nyberg

Jonne van Haastregt

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

Robust MITL planning under uncertain navigation times.

[BibT_eX]

[DOI]

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

Non-Axiomatic Reasoning for an Autonomous Mobile Robot.

[BibT_eX]

[DOI]

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

Non-Smooth Control Barrier Functions for Stochastic Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2024

Temporally Robust Multi-Agent STL Motion Planning in Continuous Time.

[BibT_eX]

[DOI]

Joris Verhagen

Lars Lindemann

Proceedings of the American Control Conference, 2024

Robust Active Measuring under Model Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Belief Control Barrier Functions for Risk-Aware Control.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., December, 2023

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications.

[BibT_eX]

[DOI]

Francesco Esposito

Danica Kragic

Auton. Robots, December, 2023

Safe Data-Driven Model Predictive Control of Systems With Complex Dynamics.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, August, 2023

Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop.

[BibT_eX]

[DOI]

Ilaria Torre

Iolanda Leite

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints.

[BibT_eX]

[DOI]

Wei Wang

Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

Generating Scenarios from High-Level Specifications for Object Rearrangement Tasks.

[BibT_eX]

[DOI]

IROS, 2023

VARIQuery: VAE Segment-Based Active Learning for Query Selection in Preference-Based Reinforcement Learning.

[BibT_eX]

[DOI]

IROS, 2023

Real-Time RRT<sup>*</sup> with Signal Temporal Logic Preferences.

[BibT_eX]

[DOI]

IROS, 2023

Risk-aware Spatio-temporal Logic Planning in Gaussian Belief Spaces.

[BibT_eX]

[DOI]

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

Aligning Human Preferences with Baseline Objectives in Reinforcement Learning.

[BibT_eX]

[DOI]

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

Network Parameter Control in Cellular Networks through Graph-Based Multi-Agent Constrained Reinforcement Learning.

[BibT_eX]

[DOI]

Albin Larsson Forsberg

Aneta Vulgarakis Feljan

José Manuel Gaspar Sánchez

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022

Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Foresee the Unseen: Sequential Reasoning about Hidden Obstacles for Safe Driving.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

Inference of Multi-Class STL Specifications for Multi-Label Human-Robot Encounters.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints.

[BibT_eX]

[DOI]

Wei Wang

José Manuel Gaspar Sánchez

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Evaluating Sequential Reasoning about Hidden Objects in Traffic.

[BibT_eX]

[DOI]

Truls Nyberg

Martin Törngren

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

Correct Me If I'm Wrong: Using Non-Experts to Repair Reinforcement Learning Policies.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2022

2021

Coupled Multi-Robot Systems Under Linear Temporal Logic and Signal Temporal Logic Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Control. Syst. Technol., 2021

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Multi-Robot and Multi-Agent Systems, 2021

Risk-aware Motion Planning for Autonomous Vehicles with Safety Specifications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Robust Feedback Motion Primitives for Exploration of Unknown Terrains.

[BibT_eX]

[DOI]

Charles Chernik

Pouria Tajvar

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Encoding Human Driving Styles in Motion Planning for Autonomous Vehicles.

[BibT_eX]

[DOI]

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

When to Terminate: Path Non-existence Verification Improves Sampling-based Motion Planning.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Robotics, 2021

Safe Data-Driven Contact-Rich Manipulation.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE-RAS International Conference on Humanoid Robots, 2021

Should Robots Chicken?: How Anthropomorphism and Perceived Autonomy Influence Trajectories in a Game-theoretic Problem.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2021

Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2021

Risk-Aware Motion Planning in Partially Known Environments.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Closed-loop incremental stability for efficient symbolic control of non-linear systems.

[BibT_eX]

[DOI]

Pouria Tajvar

Pierre-Jean Meyer

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Provably Safe Control of Lagrangian Systems in Obstacle-Scattered Environments.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Safe Motion Planning for an Uncertain Non-Holonomic System with Temporal Logic Specification.

[BibT_eX]

[DOI]

Pouria Tajvar

Fernando S. Barbosa

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Active Learning of Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Alexis Linard

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Intention-aware motion planning with road rules.

[BibT_eX]

[DOI]

Jesper Karlsson

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes.

[BibT_eX]

[DOI]

Maxime Bouton

Mykel J. Kochenderfer

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Guiding Autonomous Exploration With Signal Temporal Logic.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2019

Reinforcement Learning with Probabilistic Guarantees for Autonomous Driving.

[BibT_eX]

[DOI]

Mykel J. Kochenderfer

CoRR, 2019

Structured Synthesis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Robust Motion Planning for Non-holonomic Robots with Planar Geometric Constraints.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2019

Integrated Motion Planning and Control Under Metric Interval Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

2018

On the timed temporal logic planning of coupled multi-agent systems.

[BibT_eX]

[DOI]

Autom., 2018

Towards multi-robot applications planning under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand.

[BibT_eX]

[DOI]

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

Multi-robot LTL Planning Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 22nd International Symposium, 2018

Decentralized Dynamic Multi-Vehicle Routing via Fast Marching Method.

[BibT_eX]

[DOI]

Jesper Karlsson

Proceedings of the 16th European Control Conference, 2018

2017

Probabilistic Plan Synthesis for Coupled Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Engineering the software of robotic systems.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

Minimum-violation scLTL motion planning for mobility-on-demand.

[BibT_eX]

[DOI]

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

Cooperative planning for coupled multi-agent systems under timed temporal specifications.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

Communication-Free Multi-Agent Control Under Local Temporal Tasks and Relative-Distance Constraints.

[BibT_eX]

[DOI]

Meng Guo

IEEE Trans. Autom. Control., 2016

Multi-agent planning under local LTL specifications and event-based synchronization.

[BibT_eX]

[DOI]

Autom., 2016

Least-Violating Planning in Road Networks from Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Synthesizing least-limiting guidelines for safety of semi-autonomous systems.

[BibT_eX]

[DOI]

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

Cooperative task planning of multi-agent systems under timed temporal specifications.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Decentralized leader-follower control under high level goals without explicit communication.

[BibT_eX]

[DOI]

Anastasios Tsiamis

Charalampos P. Bechlioulis

George C. Karras

Kostas J. Kyriakopoulos

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Decomposition of multi-agent planning under distributed motion and task LTL specifications.

[BibT_eX]

[DOI]

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

Hybrid control of multi-agent systems under local temporal tasks and relative-distance constraints.

[BibT_eX]

[DOI]

Meng Guo

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

2014

Maximally satisfying LTL action planning.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints.

[BibT_eX]

[DOI]

Meng Guo

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A receding horizon approach to multi-agent planning from local LTL specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2014

2013

Temporal logic robot control based on automata learning of environmental dynamics.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2013

Formal analysis of piecewise affine systems through formula-guided refinement.

[BibT_eX]

[DOI]

Autom., 2013

Least-violating control strategy synthesis with safety rules.

[BibT_eX]

[DOI]

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

Incremental sampling-based algorithm for minimum-violation motion planning.

[BibT_eX]

[DOI]

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

Minimum-violation LTL planning with conflicting specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2013

2012

Temporal Logic Control of Discrete-Time Piecewise Affine Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2012

Verification of Systems with Degradation.

[BibT_eX]

[DOI]

Jiri Barnat

Ivana Cerná

Comput. Informatics, 2012

LTL robot motion control based on automata learning of environmental dynamics.

[BibT_eX]

[DOI]

Yushan Chen

Calin Belta

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

Attraction-based receding horizon path planning with temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Optimal path planning for surveillance with temporal-logic constraints.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2011

Timed Automata Approach to Verification of Systems with Degradation.

[BibT_eX]

[DOI]

Jiri Barnat

Ivana Cerná

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

2010

Optimal path planning under temporal logic constraints.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

A symbolic approach to controlling piecewise affine systems.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Quantitative Model Checking of Systems with Degradation.

[BibT_eX]

[DOI]

Jiri Barnat

Ivana Cerná