FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

Towards Enumerative Invariant Synthesis in SMT Solvers

Andrew Reynolds

Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation

Fedor Shmarov and Paolo Zuliani
Total: 2 presentations.