Tristan Ebert

According to our database, Tristan Ebert authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Recent developments in theory and tool support for hybrid systems verification with HyPro.

Stefan Schupp, Erika Ábrahám, Tristan Ebert

Inf. Comput., 2022