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