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