Picture for Clovis Eberhart

Clovis Eberhart

Formal Verification of Safety Architectures for Automated Driving

Add code
Aug 20, 2023
Viaarxiv icon

Formal Verification of Intersection Safety for Automated Driving

Add code
Aug 13, 2023
Viaarxiv icon

Goal-Aware RSS for Complex Scenarios via Program Logic

Add code
Jul 06, 2022
Figure 1 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 2 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 3 for Goal-Aware RSS for Complex Scenarios via Program Logic
Figure 4 for Goal-Aware RSS for Complex Scenarios via Program Logic
Viaarxiv icon

Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

Add code
Jan 28, 2021
Figure 1 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 2 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 3 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 4 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Viaarxiv icon