Ralf Wimmer
2 papers · 2019–2019 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Bronze
๐ฃ
Hot Topic Early Bird
๐
Conference Pioneer
Top co-authors
Research topics
Keywords
automated reasoning
(1)
formal verification
(1)
partially observable markov decision process
(1)
recurrent neural network
(1)
strategy synthesis
(1)
counterexample-guided training
(1)
temporal logic specification
(1)
pspace completeness
(1)
dependency quantified boolean formula
(1)
proof calculus
(1)
fork extension
(1)
quantifier localization
(1)