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