Gustav Ung

According to our database, Gustav Ung authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Bounded Invariant Checking for Stateflow.

Predrag Filipovikj, Gustav Ung, Dilian Gurov, Mattias Nyberg

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