Formal Methods for Learned Systems
Anna Lukina
Date: Wed, November 30, 2022
Time: 12:00
Room: t.b.a.
Previous:
Jan Friso Groote | About Strong and Branching Bisimulation
Next:
| Fencing off unwanted behavior: Improving and evaluating the Fency static analysis tool