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