( en | de | ru )

 

Disambiguierung von "Bloem, Roderick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fair Simulation Minimization.

, , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 610-624. Springer, (2002)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Roderick Castillo

Roderick Parkes

Liselotte Bloem

Gustav Bloem

Roderick Dedekind

 

Weitere Publikationen von Autoren mit dem selben Namen

Controller synthesis for pipelined circuits using uninterpreted functions., und . MEMOCODE, Seite 31-42. IEEE, (2011)RAT: A Tool for the Formal Analysis of Requirements., , , , und . CAV, Volume 4590 von Lecture Notes in Computer Science, Seite 263-267. Springer, (2007)Correct-by-Construction Runtime Enforcement in AI - A Survey., , , und . Principles of Systems Design, Volume 13660 von Lecture Notes in Computer Science, Seite 650-663. Springer, (2022)TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments., , , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 222-228. Springer, (2021)Proving SIFA Protection of Masked Redundant Circuits., , und . ATVA, Volume 12971 von Lecture Notes in Computer Science, Seite 249-265. Springer, (2021)Safe Reinforcement Learning via Shielding., , , , , und . AAAI, Seite 2669-2678. AAAI Press, (2018)Synthesis of Distributed Algorithms with Parameterized Threshold Guards., , , und . OPODIS, Volume 95 von LIPIcs, Seite 32:1-32:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Safe Reinforcement Learning via Shielding., , , , , und . CoRR, (2017)Automatic Error Localization for Software Using Deductive Verification., , und . Haifa Verification Conference, Volume 8855 von Lecture Notes in Computer Science, Seite 92-98. Springer, (2014)Debugging Unrealizable Specifications with Model-Based Diagnosis., , und . Haifa Verification Conference, Volume 6504 von Lecture Notes in Computer Science, Seite 29-45. Springer, (2010)