Ralf Wimmer
2 papers · 2019–2019 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 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)