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