Albert Rizaldi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2017–2025
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PLOS | High-Fidelity Specification of Real-World Devices. | Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser |
| 2018 | ATVA | A Formally Verified Motion Planner for Autonomous Vehicles. | Albert Rizaldi, Fabian Immler, Bastian Schrmann, Matthias Althoff |
| 2017 | IFM | Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. | Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |