Mirco Giacobbe
4 papers · 2021–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)