|
13 Sep 2018 |
Rafael Cardoso
|
A Decentralised Online Multi-Agent Planning Framework for Multi-Agent Systems
|
|
27 Sep 2018 |
Louise Dennis
|
Journal Club: Bounded Model Checking
|
11 Oct 2018
[Postponed] |
Sven Schewe
|
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games [POSTPONED]
|
|
18 Oct 2018 |
Sven Schewe
|
Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games
|
|
25 Oct 2018 |
Matt Webster
|
Journal Club: Verifiable Self-Certifying Autonomous Systems
|
|
08 Nov 2018 |
Rasmus Ibsen-Jensen
|
Static Analysis of Programs with Low Tree-Width
|
|
22 Nov 2018 |
Mete Ozbaltan
|
Journal Club: Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures
|
|
06 Dec 2018 |
Clare Dixon
|
Overview to the S4 Project with a Focus on Synchronisation Protocols
|
|
10 Jan 2019 |
Martin Zimmermann
|
Linear Temporal Logics beyond LTL
|
|
24 Jan 2019 |
Angelo Ferrando
|
Towards (decentralised) Runtime verification of multi-agent systems using trace expressions
|
|
21 Feb 2019 |
Karoliina Lehtinen
|
|
|
02 Apr 2019 |
Martin Zimmermann
|
Monitoring of Robust LTL
|
|
02 Apr 2019 |
Rasmus Ibsen-Jensen
|
Event points in one-clock priced timed games
|
|
02 Apr 2019 |
Sven Linker
|
Uniform Witnesses for Solutions of Presburger Arithmetic
|
|
09 May 2019 |
Irina Lomazova
|
Modeling concurrent behavior: between expressibility and decidability
|
|
14 May 2019 |
Matt Webster
|
Formal Verification of the LoRaWAN Protocol for the Internet of Things
|
|
11 Jun 2019 |
Patrick Totzke
|
VASS Reachability: What's new and why do I care?
|
21 Jun 2019
ACTO
|
Prof. Volker Diekert
Stuttgart University |
About a Conway-type result for tree language
|
|
25 Jun 2019 |
Karoliina Lehtinen
|
What are good-for-games automata good for anyway?
|
|
25 Jun 2019 |
Martin Zimmermann
|
Model Checking LTL with Team Semantics
|
