research
∙
10/25/2021
Simulation and Model Checking for Close to Realtime Overtaking Planning
Fast and reliable trajectory planning is a key requirement of autonomous...
share
research
∙
01/18/2021
Designing a mobile game to generate player data – lessons learned
User friendly tools have lowered the requirements of high-quality game d...
research
∙
12/22/2017
Proceedings Third Workshop on Graphs as Models
Graphs are used as models in many areas of computer science and computer...
research
∙
10/28/2015
Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking
The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
∙
09/18/2014
