Cristian Ioan Vasile

Int. J. Robotics Res., 2024

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems.

[BibT_eX]

[DOI]

CoRR, 2024

Accelerating Proximal Policy Optimization Learning Using Task Prediction for Solving Environments with Delayed Rewards.

[BibT_eX]

[DOI]

CoRR, 2024

Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation.

[BibT_eX]

[DOI]

CoRR, 2024

TLINet: Differentiable Neural Network Temporal Logic Inference.

[BibT_eX]

[DOI]

CoRR, 2024

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Temporal Logic Goals and Travel Duration Uncertainty.

[BibT_eX]

[DOI]

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

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams.

[BibT_eX]

[DOI]

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

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach.

[BibT_eX]

[DOI]

Mingyu Cai

Proceedings of the American Control Conference, 2024

2023

Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., April, 2023

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo.

[BibT_eX]

[DOI]

CoRR, 2023

Rewrite-Based Decomposition of Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Makai Mann

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method.

[BibT_eX]

[DOI]

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

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2023

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.

[BibT_eX]

[DOI]

Sofie Haesaert

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

Temporal Logic Swarm Control with Splitting and Merging.

[BibT_eX]

[DOI]

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

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2023

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.

[BibT_eX]

[DOI]

Sofie Haesaert

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Robustness Measures and Monitors for Time Window Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Symbolic Perception Risk in Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Learning Signal Temporal Logic through Neural Network for Interpretable Classification.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).

[BibT_eX]

[DOI]

IEEE Trans. Robotics, 2022

Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN).

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams.

[BibT_eX]

[DOI]

Austin Jones

IEEE Robotics Autom. Lett., 2022

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2022

Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications.

[BibT_eX]

[DOI]

CoRR, 2022

Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XV, 2022

Fair Planning for Mobility-on-Demand with Temporal Logic Requests.

[BibT_eX]

[DOI]

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

Classification of Time-Series Data Using Boosted Decision Trees.

[BibT_eX]

[DOI]

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

Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints.

[BibT_eX]

[DOI]

David Saldaña

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

Specifying User Preferences Using Weighted Signal Temporal Logic.

[BibT_eX]

[DOI]

Noushin Mehdipour

IEEE Control. Syst. Lett., 2021

Time-Incremental Learning from Data Using Temporal Logics.

[BibT_eX]

[DOI]

CoRR, 2021

Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic through Gaussian Processes and Control Barrier Functions.

[BibT_eX]

[DOI]

Mingyu Cai

CoRR, 2021

Inferring Temporal Logic Properties from Data using Boosted Decision Trees.

[BibT_eX]

[DOI]

CoRR, 2021

Learning and planning with logical automata.

[BibT_eX]

[DOI]

Auton. Robots, 2021

Automata-based Optimal Planning with Relaxed Specifications.

[BibT_eX]

[DOI]

Eleni Karyofylli

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

Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot.

[BibT_eX]

[DOI]

Diego F. Salazar-D'Antonio

David Saldaña

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor.

[BibT_eX]

[DOI]

Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

A Control Architecture for Provably-Correct Autonomous Driving.

[BibT_eX]

[DOI]

Erfan Aasi

Proceedings of the 2021 American Control Conference, 2021

2020

Reactive sampling-based path planning with temporal logic specifications.

[BibT_eX]

[DOI]

Xiao Li

Int. J. Robotics Res., 2020

Differentiable Logic Layer for Rule Guided Trajectory Prediction.

[BibT_eX]

[DOI]

Proceedings of the 4th Conference on Robot Learning, 2020

Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior.

[BibT_eX]

[DOI]

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

2019

Control in belief space with temporal logic specifications using vision-based localization.

[BibT_eX]

[DOI]

Int. J. Robotics Res., 2019

Learning to Plan with Logical Automata.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems XV, 2019

ScRATCHS: Scalable and Robust Algorithms for Task-Based Coordination from High-Level Specifications.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, 2019

Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Robotics and Automation, 2019

Average-based Robustness for Continuous-Time Signal Temporal Logic.

[BibT_eX]

[DOI]

Noushin Mehdipour

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications.

[BibT_eX]

[DOI]

Noushin Mehdipour

Proceedings of the 2019 American Control Conference, 2019

2018

Translational and Rotational Invariance in Networked Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Control. Netw. Syst., 2018

Counterexample-Guided Safety Contracts for Autonomous Driving.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.

[BibT_eX]

[DOI]

Ali-Akbar Agha-Mohammadi

Richard M. Murray

Aaron D. Ames

Proceedings of the Robotics: Science and Systems XIV, 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

Metrics for Signal Temporal Logic Formulae.

[BibT_eX]

[DOI]

Curtis Madsen

Prashant Vaidyanathan

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.

[BibT_eX]

[DOI]

Ali-akbar Agha-mohammadi

Aaron D. Ames

Richard M. Murray

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.

[BibT_eX]

[DOI]

Vignesh Sivaramakrishnan

Sadegh Soudjani

Abraham P. Vinod

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

Time window temporal logic.

[BibT_eX]

[DOI]

Derya Aksaray

Theor. Comput. Sci., 2017

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.

[BibT_eX]

[DOI]

Proceedings of the Robotics Research, The 18th International Symposium, 2017

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.

[BibT_eX]

[DOI]

Vasumathi Raman

Sertac Karaman

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

Reinforcement learning with temporal logic rewards.

[BibT_eX]

[DOI]

Xiao Li

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

2016

Identifying cancer type specific oncogenes and tumor suppressors using limited size data.

[BibT_eX]

[DOI]

J. Bioinform. Comput. Biol., 2016

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.

[BibT_eX]

[DOI]

Dingjiang Zhou

Konstantinos Oikonomopoulos

Auton. Robots, 2016

Language-Guided Sampling-based Planning using Temporal Relaxation.

[BibT_eX]

[DOI]

Francisco Penedo

Proceedings of the Algorithmic Foundations of Robotics XII, 2016

Localization of a Ground Robot by Aerial Robots for GPS-Deprived Control with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Experimental Robotics, 2016

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.

[BibT_eX]

[DOI]

Derya Aksaray

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

A Decision Tree Approach to Data Classification using Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Control in belief space with Temporal Logic specifications.

[BibT_eX]

[DOI]

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

2015

SE(N) invariance in networked systems.

[BibT_eX]

[DOI]

Proceedings of the 14th European Control Conference, 2015

2014

An Automata-Theoretic Approach to the Vehicle Routing Problem.

[BibT_eX]

[DOI]

Proceedings of the Robotics: Science and Systems X, 2014

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.

[BibT_eX]

[DOI]

Dingjiang Zhou

Konstantinos Oikonomopoulos

Proceedings of the Experimental Robotics, 2014

Reactive sampling-based temporal logic path planning.

[BibT_eX]

[DOI]

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

2013

Universality of Enzymatic Numerical P systems.

[BibT_eX]

[DOI]

Ioan Dumitrache

Int. J. Comput. Math., 2013

Sampling-based temporal logic path planning.

[BibT_eX]

[DOI]

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

2012

Development of membrane controllers for mobile robots.

[BibT_eX]

[DOI]

Catalin Buiu

Octavian Arsene

Inf. Sci., 2012

PyElph - a software tool for gel images analysis and phylogenetics.

[BibT_eX]

[DOI]

BMC Bioinform., 2012

On the power of enzymatic numerical P systems.

[BibT_eX]

[DOI]

Acta Informatica, 2012

Robot Localization Implemented with Enzymatic Numerical P Systems.

[BibT_eX]

[DOI]

Ioan Dumitrache

Proceedings of the Biomimetic and Biohybrid Systems - First International Conference, 2012

2011

A software system for collaborative robotics applications and its application in particle swarm optimization implementations.

[BibT_eX]

[DOI]

Catalin Buiu

Appl. Soft Comput., 2011

Integrating human swarm interaction in a distributed robotic control system.

[BibT_eX]

[DOI]