Autonomous-Driving Examiner


Project Acronym Projekt Kurzbezeichnung
ADEX
 
Project Title (de) Projekttitel (de)
Autonomous-Driving Examiner
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FFG - Österr. Forschungsförderungs- gesellschaft mbH
Grant number Förderkennnummer
FFG Projektnummer: 880811
 

Publications

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1He, Jie ; Nickovic, Dejan ; Bartocci, Ezio ; Grosu, Radu TD-Magic: From Pictures of Timing Diagrams To Formal SpecificationsInproceedings Konferenzbeitrag 15-Sep-2023
2Berducci, Luigi ; Grosu, Radu Safe Policy Improvement in Constrained Markov Decision ProcessesInproceedings Konferenzbeitrag 17-Oct-2022