Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	No cover image available Automatic time-unbounded reachability analysis of hybrid systems by Giacobbe, Mirco Material type: Text; Format: print ; Literary form: Not fiction Publication details: IST Austria 2019 Online resources: Click here to access online Availability: Items available for loan: Library (1)Call number: Quiet Room. Lists: ISTA Thesis . Place hold
	2.	AI verification : first International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, proceedings / Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling, editors. by International Symposium on AI Verification (1st : 2024 : Montréal, Québec) Avni, Guy [editor.] Giacobbe, Mirco [editor.] Johnson, Taylor T [editor.] Katz, Guy [editor.] Lukina, Anna [editor.] Narodytska, Nina [editor.] Schilling, Christian [editor.] Series: Lecture notes in computer science ; 14846. Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Cham : Springer, 2024 Other title: SAIV 2024 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Refine your search