Project leader

• Ezio Bartocci (E191-01)
• Agata Ciabattoni (E192-05)

Subproject managers

• Olga Ganian (E192-05)

Grant funds

• FFG - Österr. Forschungsförderungs- gesellschaft mbH (National) Programme AI for Tech, AI for Green und AIM AT Austrian Research Promotion Agency (FFG)

Research focus

• Logic and Computation: 45%
• Computer Engineering and Software-Intensive Systems: 55%

External partner

• AIT Austrian Institute of Technolog GmbH
• Kapsch TrafficCom AG

Publications

• Publications