Matthias Stasch

According to our database, Matthias Stasch authored at least 2 papers between 2018 and 2021.

Collaborative distances:

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

2021

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller

Proceedings of the Formal Methods - 24th International Symposium, 2021

2018

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018