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