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