Biblio
Found 1 results
Filters: Author is Mokhlesi, Navid [Clear All Filters]
.
2020. Multi-agent safety verification using symmetry transformations. 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). 12078 LNCS:173–190.