Cristian Ioan Vasile

Orcid: 0000-0002-1132-1462

Affiliations:
  • Lehigh University, Bethlehem, PA, USA


According to our database1, Cristian Ioan Vasile authored at least 75 papers between 2011 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments From Temporal Logic Specifications.
IEEE Robotics Autom. Lett., April, 2023

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

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

Rewrite-Based Decomposition of Signal Temporal Logic Specifications.
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.
Proceedings of the International Symposium on Multi-Robot and Multi-Agent Systems, 2023

Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Temporal Logic Swarm Control with Splitting and Merging.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

Mixed Integer Linear Programming Approach for Control Synthesis with Weighted Signal Temporal Logic.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Preferences on Partial Satisfaction using Weighted Signal Temporal Logic Specifications.
Proceedings of the European Control Conference, 2023

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Robustness Measures and Monitors for Time Window Temporal Logic.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Symbolic Perception Risk in Autonomous Driving.
Proceedings of the American Control Conference, 2023

Learning Signal Temporal Logic through Neural Network for Interpretable Classification.
Proceedings of the American Control Conference, 2023

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.
Proceedings of the American Control Conference, 2023

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

Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN).
IEEE Robotics Autom. Lett., 2022

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

Probabilistic Coordination of Heterogeneous Teams From Capability Temporal Logic Specifications.
IEEE Robotics Autom. Lett., 2022

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

Partial Satisfaction of Signal Temporal Logic Specifications for Coordination of Multi-robot Systems.
Proceedings of the Algorithmic Foundations of Robotics XV, 2022

Fair Planning for Mobility-on-Demand with Temporal Logic Requests.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Classification of Time-Series Data Using Boosted Decision Trees.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints.
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.
IEEE Robotics Autom. Lett., 2021

Specifying User Preferences Using Weighted Signal Temporal Logic.
IEEE Control. Syst. Lett., 2021

Time-Incremental Learning from Data Using Temporal Logics.
CoRR, 2021

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

Inferring Temporal Logic Properties from Data using Boosted Decision Trees.
CoRR, 2021

Learning and planning with logical automata.
Auton. Robots, 2021

Automata-based Optimal Planning with Relaxed Specifications.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot.
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.
Proceedings of the 20th International Conference on Advanced Robotics, 2021

Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor.
Proceedings of the Conference on Robot Learning, 8-11 November 2021, London, UK., 2021

A Control Architecture for Provably-Correct Autonomous Driving.
Proceedings of the 2021 American Control Conference, 2021

2020
Reactive sampling-based path planning with temporal logic specifications.
Int. J. Robotics Res., 2020

Differentiable Logic Layer for Rule Guided Trajectory Prediction.
Proceedings of the 4th Conference on Robot Learning, 2020

Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Learning to Plan with Logical Automata.
Proceedings of the Robotics: Science and Systems XV, 2019

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

Dynamic Risk Density for Autonomous Navigation in Cluttered Environments without Object Detection.
Proceedings of the International Conference on Robotics and Automation, 2019

Average-based Robustness for Continuous-Time Signal Temporal Logic.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Arithmetic-Geometric Mean Robustness for Control from Signal Temporal Logic Specifications.
Proceedings of the 2019 American Control Conference, 2019

2018
Translational and Rotational Invariance in Networked Dynamical Systems.
IEEE Trans. Control. Netw. Syst., 2018

Counterexample-Guided Safety Contracts for Autonomous Driving.
Proceedings of the Algorithmic Foundations of Robotics XIII, 2018

Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams.
Proceedings of the Robotics: Science and Systems XIV, 2018

Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand.
Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

Metrics for Signal Temporal Logic Formulae.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

ARCH-COMP18 Category Report: Stochastic Modelling.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017
Time window temporal logic.
Theor. Comput. Sci., 2017

Compositional and Contract-Based Verification for Autonomous Driving on Road Networks.
Proceedings of the Robotics Research, The 18th International Symposium, 2017

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Reinforcement learning with temporal logic rewards.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Minimum-violation scLTL motion planning for mobility-on-demand.
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.
J. Bioinform. Comput. Biol., 2016

Persistent surveillance for unmanned aerial vehicles subject to charging and temporal logic constraints.
Auton. Robots, 2016

Language-Guided Sampling-based Planning using Temporal Relaxation.
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.
Proceedings of the International Symposium on Experimental Robotics, 2016

Dynamic routing of energy-aware vehicles with Temporal Logic Constraints.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

A Decision Tree Approach to Data Classification using Signal Temporal Logic.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

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

2015
SE(N) invariance in networked systems.
Proceedings of the 14th European Control Conference, 2015

2014
An Automata-Theoretic Approach to the Vehicle Routing Problem.
Proceedings of the Robotics: Science and Systems X, 2014

Provably Correct Persistent Surveillance for Unmanned Aerial Vehicles Subject to Charging Constraints.
Proceedings of the Experimental Robotics, 2014

Reactive sampling-based temporal logic path planning.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013
Universality of Enzymatic Numerical P systems.
Int. J. Comput. Math., 2013

Sampling-based temporal logic path planning.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

2012
Development of membrane controllers for mobile robots.
Inf. Sci., 2012

PyElph - a software tool for gel images analysis and phylogenetics.
BMC Bioinform., 2012

On the power of enzymatic numerical P systems.
Acta Informatica, 2012

Robot Localization Implemented with Enzymatic Numerical P Systems.
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.
Appl. Soft Comput., 2011

Integrating human swarm interaction in a distributed robotic control system.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011


  Loading...