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