Presentation I’m giving in two weeks at CoopIS1. Be there in time or I’ll hire goons to come rough you up! The slides present this paper: M. Westergaard and F. Maggi, “Looking into the Future: Using Timed Automata to Provide A Priori Advice […]
Category: Presentations
Using CP-nets to Construct Coalescent Hidden Markov Models
Presentation I’m going to give at the Petri Nets conference this Wednesday. It’s about monkeys! Monkeeeeeyyy! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. https://westergaard.eu/ […]
Cost-Effective Testing of Operational Support Algorithms Using CP-nets
Presentation I’m going to give at the Petri Nets conference Friday next week. Be there or be two right isosceles triangles glued together at the hypothenuse. (The slides are subject to minor changes; changes will be applied to the embedded version without further […]
Grade/CPN: Semi-automatic Support for Teaching CP-nets
Presentation I’m going to give at PNSE early next week. Be there or be an equilateral quadrangle. See more about Grade/CPN on the CPN Tools homepage. (The slides are subject to minor changes; changes will be applied to the embedded version without further […]
Modular Declare
Another presentation on Modular Declare. This one with more pretty pictures. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. https://westergaard.eu/ […]
Time is Not a Four-letter Word
Presentation I’ll give right now! How to add time to Declare by translating to timed LTL and timed automata. Also how we can use this to give a priori advice concerning time, detect errors, and support planning. Edit: There’s a slight error in […]