Author of the publication

TraceVis: Towards Visualization for Deep Statistical Model Checking

, , , , , and . Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)
DOI: 10.1007/978-3-030-83723-5_3

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Gros, Timo P.
add a person with the name Gros, Timo P.
 

Other publications of authors with the same name

Glyph-Based Visual Analysis of Q-Leaning Based Action Policy Ensembles on Racetrack, , , , , and . 26th International Conference Information Visualisation, IV 2022, Vienna, Austria, July 19-22, 2022, page 1--10. IEEE, (2022)TraceVis: Towards Visualization for Deep Statistical Model Checking, , , , , and . Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part IV, page 27–46. Berlin, Heidelberg, Springer-Verlag, (2020)