Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1

First Page		Document Content
Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking		Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Download Document from Source Website File Size: 544,62 KB Share Document on Facebook

	SCAN 2018 Post-conference Proceedings Special Issue of Journal of Computational and Applied Mathematics Call for Papers Special Issue on the 18th International Symposium on Scientific Computing, Computer Arithmetic, DocID: 1xVSx - View Document
	Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics DocID: 1xVdz - View Document
	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University DocID: 1xUJf - View Document
	Mathematics_BS_Applied.pdf DocID: 1xTYO - View Document
	A BOOTSTRAP INTERVAL ESTIMATOR FOR BAYES’ CLASSIFICATION ERROR Chad M. Hawes and Carey E. Priebe Johns Hopkins University Department of Applied Mathematics and Statistics Baltimore, MDABSTRACT DocID: 1vrMQ - View Document