Login / Signup
Carla Piazza
ORCID
Publication Activity (10 Years)
Years Active: 1998-2024
Publications (10 Years): 34
Top Topics
Formal Verification
Markov Chain
Neural Network
Stochastic Processes
Top Venues
CILC
Inf. Comput.
CoRR
QEST
</>
Publications
</>