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