Schallau, T., Naujokat, S., Kullmann, F., & Howar, F. (2024). Tree-Based Scenario Classification - A Formal Framework for Measuring Domain Coverage When Testing Autonomous Systems [Conference paper]. NASA Formal Methods Symposium. https://doi.org/10.1007/978-3-031-60698-4_15