Simon Lessenich
Address
Mathematische Grundlagen der InformatikRWTH Aachen
D-52056 Aachen
| Phone: | +49-241-80-21715 |
| Fax: | +49-241-80-22215 |
| Room: | 4119 (E1) / Ahornstr. 55 |
| Email: | lessenich [AT] logic.rwth-aachen.de |
Research
- Infinite Games on Graphs
- Quantitative Logics
Recent Publications
- D. Berwanger, Ł. Kaiser, and S. Lessenich. Imperfect Recall and Counter Games. Technical Report. Laboratoire Spécification et Vérification, ENS Cachan, France, 2011.