The following pages link to Paolo Zuliani (Q1031863):
Displaying 13 items.
- Reasoning about faulty quantum programs (Q1031864) (← links)
- Stochastic rate parameter inference using the cross-entropy method (Q1796493) (← links)
- Bayesian statistical model checking with application to Stateflow/Simulink verification (Q2248081) (← links)
- Compiling quantum programs (Q2484067) (← links)
- Quantum Programming With Mixed States (Q2864175) (← links)
- Computational Modeling and Verification of Signaling Pathways in Cancer (Q2889706) (← links)
- Bayesian statistical model checking with application to Simulink/Stateflow verification (Q2985888) (← links)
- Rare-event verification for stochastic hybrid systems (Q2986769) (← links)
- ProbReach (Q2988926) (← links)
- Statistical Verification of Probabilistic Properties with Unbounded Until (Q2999315) (← links)
- Statistical Model Checking for Cyber-Physical Systems (Q3172901) (← links)
- Towards Quantum Programs Verification: From Quipper Circuits to QPMC (Q3186602) (← links)
- Obituary: Edmund Melson Clarke jun. (1945--2020) (Q6056636) (← links)
