 |
Richard Mayr
- Position
- Lecturer
- Roles
- Member of Laboratory for Foundations of Computer Science
- Research Interests
- Automated verification, automata and temporal logic, model-checking and semantic equivalence checking, formal verification of real-time and probabilistic systems, infinite-state Markov chains and stochastic games.
- Email Address
| <richard_mayr_ed | @ | yahoo.co.uk> |
- Office,Telephone
- IF-4.11, +44 (0) 131 650 5130
- Informatics Research Reports
- Publication Repository Entries (experimental)
- Personal Page
|
|
