Compositional Safety Verification of Infinite Networks: A Data-Driven Approach
- Ali Aminzadeh
- , Abdalla Swikir
- , Sami Haddadin
- , Abolfazl Lavaei
- University of Technology
- Technical University of Munich
- Omar Al-Mukhtar University
- University of Newcastle upon Tyne
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2
Scopus
citations