activity
20092021
most citedAddressing Inherent Uncertainty: Risk-Sensitive Behavior Generation for Automated Driving using Distributional Reinforcement Learning

33 citations · 90 across the 17 of their papers we have counts for

collaborators
Showing cs.DCShow all

1 paper · 1 filter

cs.DC2009★ 1 cited

FTOS-Verify: Analysis and Verification of Non-Functional Properties for Fault-Tolerant Systems

Chih-Hong Cheng, Christian Buckl, Javier Esparza +1

The focus of the tool FTOS is to alleviate designers' burden by offering code generation for non-functional aspects including fault-tolerance mechanisms. One crucial aspect in this…