Synthesis of Admissible Shields

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-49052-6_9 ◽

2016 ◽

pp. 134-151 ◽

Cited By ~ 3

Author(s):

Laura Humphrey ◽

Bettina Könighofer ◽

Robert Könighofer ◽

Ufuk Topcu

Download Full-text