Anna Köhne

According to our database, Anna Köhne authored at least 2 papers between 2020 and 2022.

Collaborative distances:

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

2022

Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions.

Dominik Grundt, Anna Köhne, Ishan Saxena, Ralf Stemmer, Bernd Westphal, Eike Möhlmann

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

2020

The asymmetric traveling salesman path LP has constant integrality ratio.

Anna Köhne, Vera Traub, Jens Vygen

Math. Program., 2020