Ralf Wimmer
2 papers
· 2019–2019
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🐝
Cross-Pollinator
(13)
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
AAAI (1)
IJCAI (1)
Top co-authors
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)