EasyChair Smart SlideUser guide
Author: Michael Norrish

This page shows all presentations of this author published in EasyChair Smart Slide.

Mechanizing Soundness of off-Policy Evaluation

Mechanizing Soundness of off-Policy Evaluation

Jared Yeager, Eliot Moss, Michael Norrish and Philip Thomas

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata

Verifying the LTL to Büchi Automata Translation via Very Weak Alternating Automata

Simon Jantsch and Michael Norrish

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions

Son Ho, Oskar Abrahamsson, Ramana Kumar, Magnus O. Myreen, Yong Kiam Tan and Michael Norrish

Presentations in this collection: 3
Copyright © 2002 – 2026 EasyChair