Search for Author All Reviews
	Platzer, Andre     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 1 of 1 reviews        Differential hybrid games Platzer A. ACM Transactions on Computational Logic 18(3): 1-44, 2017.  Type: Article As software becomes ever more pervasive in safety-critical devices--from pacemakers to cars, from robots to airplanes--it is important that we have means of insuring their safety. For some of the more advanced applica...... Mar 22 2018
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy