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