André Platzer
5 papers
· 2011–2024
· 4 conferences
· across top CS/AI conferences
Achievements
🗺️
Taxonomy Completionist
(14)
🌉
Interdisciplinary Bridge
🐣
Hot Topic Early Bird
🧭
Keyword Pioneer
🌍
Conference Polyglot
(4)
🏃
Academic Marathon
(13)
🐝
Cross-Pollinator
(9)
🌈
Renaissance Researcher
(6)
🌟
Keyword Trendsetter Combo
(3)
🏆
Keyword Champion
(2)
📈
Trend Setter
🚀
Conference Pioneer
Conferences
NIPS (2)
AISTATS (1)
IJCAI (1)
RSS (1)
Top co-authors
Keywords
formal verification
(2)
hybrid system
(2)
formal methods
(1)
automated reasoning
(1)
lifted inference
(1)
first-order logic
(1)
neural network verification
(1)
differential dynamic logic
(1)
cyber-physical system
(1)
infinite-time safety
(1)
autonomous vehicle
(1)
automated theorem proving
(1)
first-order programming
(1)
mixed-integer linear programming
(1)
refutational completeness
(1)
search strategy
(1)
safety-critical system
(1)
obstacle avoidance
(1)
loop invariant
(1)
neural network
(1)