Picture for Cristian-Ioan Vasile

Cristian-Ioan Vasile

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

Add code
Jul 30, 2024
Viaarxiv icon

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

Add code
Jun 03, 2024
Viaarxiv icon

TLINet: Differentiable Neural Network Temporal Logic Inference

Add code
May 14, 2024
Viaarxiv icon

A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo

Add code
Oct 12, 2023
Viaarxiv icon

Energy-Constrained Active Exploration Under Incremental-Resolution Symbolic Perception

Add code
Sep 13, 2023
Viaarxiv icon

Symbolic Perception Risk in Autonomous Driving

Add code
Mar 16, 2023
Viaarxiv icon

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

Add code
Oct 06, 2022
Figure 1 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 2 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 3 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Figure 4 for Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Viaarxiv icon

Learning Signal Temporal Logic through Neural Network for Interpretable Classification

Add code
Oct 04, 2022
Figure 1 for Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Figure 2 for Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Figure 3 for Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Figure 4 for Learning Signal Temporal Logic through Neural Network for Interpretable Classification
Viaarxiv icon

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

Add code
Sep 20, 2022
Figure 1 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 2 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 3 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Figure 4 for Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
Viaarxiv icon

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

Add code
Feb 01, 2022
Figure 1 for Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications
Figure 2 for Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications
Figure 3 for Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications
Figure 4 for Overcoming Exploration: Deep Reinforcement Learning in Complex Environments from Temporal Logic Specifications
Viaarxiv icon