Author Info
Name
Affiliation
Papers
ALBERT RIZALDI
Lehrstuhl fur Robotik und Echtzeitsysteme, Tech. Univ. Munchen, Garching, Germany|c|
6
Collaborators
Citations 
PageRank 
11
16
2.56
Referers 
Referees 
References 
26
144
64
Search Limit
100144
Title
Citations
PageRank
Year
A Formally Verified Motion Planner for Autonomous Vehicles.00.342018
Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.20.372017
On enlarging backward reachable sets via Zonotopic set membership10.342016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.50.492016
Formalising Traffic Rules for Accountability of Autonomous Vehicles80.672015
On time-memory trade-off for collision detection00.342015