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