Richard Mayr – Projects — University of Edinburgh Research Explorer

Phone+ 44 (0) 131 650 5130
EmailMayr36.teaching-admined.acuk
Websitehttp://homepages.inf.ed.ac.uk/rmayr/

4 results

Finished

New Proof Techniques in Game Theory by Synergies of Mathematics and Computer Science
Mayr, R.
Other (Learned Society)
31/03/22 → 30/03/24
Project: Research
Energy Efficient Control
Mayr, R.
EPSRC
1/09/15 → 31/08/19
Project: Research
Algorithms for computationally hard problems in automata theory
Mayr, R.
Other (Learned Society)
25/03/12 → 24/03/14
Project: Research
Verificaton of priced infinite-state real-time systems
Mayr, R.
Other (Learned Society)
1/04/09 → 31/03/11
Project: Research