Parker David - RWTH AACHEN UNIVERSITY UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic - English

Person

David Parker

Alejandro Aguirre

University of Birmingham

Address

Email: d.a.parker@cs.bham.ac.uk

Similar Topics

Guest Talk: Verification and Strategy Synthesis for Stochastic Games

last updated: 03/02/2021

RWTH

Services

Social Media

Institutions