AgentFly is an agent-based system for a large scale air traffic simulation. It is able to simulate tens of thousands airplanes in detail, e.g. to compute fuel consumption. It also models cognitive behavior of air traffic controllers to simulate their activities and workload. The AgentFly can be used to simulate complete air traffic over US to predict future air traffic

In Computation Game Theory we study and design new algorithms for finding optimal behavior in finite sequential scenarios, where agents have to deal with limited information, uncertainty, and competing opponents. Typical examples include classical card and board games, scenarios from the security domain, or auctions

Agent-based algorithms for road traffic autonomous support systems: Project focusses on massive autonomous traffic system simulations mainly for the purposes of development of algorithms for autonomous traffic systems and multi-agent optimization of transportation logistics. Individual research results are cross-validated to ensure their scalability, reliability, fidelity and applicability in unified realistic autonomous traffic system.

Cykloplánovač is a smart software that gives advice to cyclists which route to choose and provides cities with valuable information about the behaviour of cyclists in urban areas and how to improve conditions for cycling. Its pilot version took place in May 2015 in cooperation with Auto*Mat NGO and under the support of Municipal Council of Prague. In May, more than 1,000 users has installed the application on their smartphones and around 2,000 trips with a total length of 20,000 km was recorded in 17 Czech towns.

The cycle planner has both Web and Android version (iPhone version is planned). After entering the start and the end of the journey, the system offers several routes matching different profiles (fast, quiet, flat, and balanced). In addition, the mobile version provides also turn-by-turn navigation that takes the users safely throw the route.