Jonas Krook
Visar 10 publikationer
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
On proving that an unsafe controller is not proven safe
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.