introductory

The Madness of the Modal mu-Calculus

Sean Watters published on October 28, 2024

0 min, 0 words

Read More

Categories: Talk Local Seminar

Tags: introductory modal mu-calculus de Bruijn indices

(Reflexive) Partial Monoids 101

Sean Watters published on October 13, 2023

0 min, 0 words

Read More

Categories: Talk Local Seminar

Tags: introductory partial monoids free algebraic structures

A Tour of Temporal Logic

Sean Watters published on November 10, 2021

0 min, 0 words

Read More

Categories: Talk Local Seminar

Tags: introductory temporal logic model checking