Robert Koenighofer
- Shield Synthesis: Runtime Enforcement for Reactive Systems
2015/01/12 by Roderick Bloem, Bettina Koenighofer, Bloem, Roderick +5 · 8 citations
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Safety Systems Engineering in Autonomy #Security and Verification in Computing
- SAT-Based Synthesis Methods for Safety Specs
2013/11/14 by Roderick Bloem, Robert Koenighofer, Bloem, Roderick +3 · 1 citation
Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques