Biblio
Found 1 results
Filters: Author is Sibai, Hussein [Clear All Filters]
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.
.
2020.