DayDreamer: World Models for Physical Robot Learning
On 28 Jun, 2022 By admin 0 Comments
June, 2022
Abstract
Verification
Verifiable Goal Recognition for Autonomous Driving with Occlusions
On 28 Jun, 2022 By admin 0 Comments
Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware
On 7 Jun, 2014 By admin 0 Comments
Modular Verification of Dynamically Adaptive Systems
On 17 May, 2014 By admin 0 Comments
Decisive Markov Chains
On 15 Jan, 2014 By admin 0 Comments