Login / Signup

Or Reginiano

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Probabilistic Reasoning
Formal Verification
Model Checking
Goal Directed

Top Venues

SOFSEM
Publications