RPTU University Library

Send mail to Author

Learning Temporal Properties for Explainability and Verification (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
             ___      ______    _____    __   _     ______  
  ____      / _ \\   /_____//  |  ___|| | || | ||  /_   _// 
 |    \\   / //\ \\  `____ `   | ||__   | '--' ||   -| ||-  
 | [] ||  |  ___  || /___//    | ||__   | .--. ||   _| ||_  
 |  __//  |_||  |_|| `__ `     |_____|| |_|| |_||  /_____// 
 |_|`-`   `-`   `-`  /_//      `-----`  `-`  `-`   `-----`  
 `-`                 `-`
 


Back to frontdoor view