Alexander Greger

According to our database, Alexander Greger authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Formal verification of deadlock avoidance rules for AGV systems.

Sarmad Riazi, Jonathan Falk, Alexander Greger, Anton Pettersson, Martin Fabian

Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022