Mirco Giacobbe
4 papers
· 2021–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(13)
π
Renaissance Researcher
(6)
πΊοΈ
Taxonomy Completionist
(13)
Conferences
NIPS (2)
AAAI (1)
IJCAI (1)
Top co-authors
Keywords
formal verification
(4)
dynamical system
(2)
safety verification
(2)
neural network
(2)
model checking
(1)
proof certificate
(1)
neural ode
(1)
stochastic dynamical system
(1)
abstract interpretation
(1)
reach set
(1)
continuous-time system
(1)
hardware verification
(1)
neural certificate
(1)
neural abstraction
(1)
nonlinear dynamical model
(1)
reinforcement learning
(1)
hybrid automata
(1)
satisfiability solving
(1)
stochastic process
(1)
temporal logic
(1)
Papers
Neural Model Checking
NIPS 2024
Neural Abstractions
NIPS 2022