Stefan Naujokat - NASA Formal Methods 2024

Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States

Registered user since Thu 20 Feb 2025

Name:Stefan Naujokat

Country:Germany

Affiliation:TU Dortmund University

Contributions

2024

NFM

Tree-Based Scenario Classification. A Formal Framework for Measuring Domain Coverage when Testing Autonomous Systems

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile