( en | de | ru )

 

Disambiguation of "Bloem, Roderick"

Author of the publication

copydeleteadd this publication to your clipboard
Run-Time Optimization for Learned Controllers Through Quantitative Games.

, , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 630-649. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roderick Castillo

Roderick Parkes

Liselotte Bloem

Gustav Bloem

Roderick Dedekind

 

Other publications of authors with the same name

Specification-centered robustness., , , , and . SIES, page 176-185. IEEE, (2011)Model-Based Testing IoT Communication via Active Automata Learning., , and . ICST, page 276-287. IEEE Computer Society, (2017)Symbolic Implementation of Alternating Automata., , , , and . CIAA, volume 4094 of Lecture Notes in Computer Science, page 208-218. Springer, (2006)Placement of Runtime Checks to Counteract Fault Injections., , and . RV, volume 12399 of Lecture Notes in Computer Science, page 241-258. Springer, (2020)Interactive presentation: Automatic hardware synthesis from specifications: a case study., , , , , and . DATE, page 1188-1193. EDA Consortium, San Jose, CA, USA, (2007)Bounded Synthesis of Register Transducers., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 494-510. Springer, (2018)Synthesizing adaptive test strategies from temporal logic specifications., , , and . FMCAD, page 17-24. IEEE, (2016)Synthesizing multiple boolean functions using interpolation on a single proof., , , , and . FMCAD, page 77-84. IEEE, (2013)Online Shielding for Stochastic Systems., , , , and . NFM, volume 12673 of Lecture Notes in Computer Science, page 231-248. Springer, (2021)Synthesis of Minimum-Cost Shields for Multi-agent Systems., , , , and . ACC, page 1048-1055. IEEE, (2019)