Approximate symbolic model checking of continuous-time Markov chains? (extended abstract)

First Page		Document Content
Date: 2010-02-01 08:27:12 Diagrams Functions and mappings Binary decision diagram Boolean algebra Model checking Integral Numerical integration Probability density function Mathematical analysis Mathematics Physics		Approximate symbolic model checking of continuous-time Markov chains? (extended abstract) Add to Reading List Source URL: wwwneu.inf.tu-dresden.de Download Document from Source Website File Size: 317,92 KB Share Document on Facebook

	Index Accumulation, 53 Accuracy: numerical integration, 83-84 sensor, 383, Adaptive tuning: DocID: 1uCkY - View Document
	14 Numerical Integration and Differential Equations This chapter covers the numerical computation of integrals (§14.1) and the numerical resolution of ordinary differential equations (§14.2) with Sage. We DocID: 1tNtw - View Document
	Teacher Notes for Integrals Compatibility: TI-83+/83+SE/84+/84+SE Run The Program Called: INTEGRAL X Summary This program provides a graphical display and numerical answers for areas under and between functions. It prove DocID: 1riVg - View Document
	Introduction to Numerical Analysis Spring 2016 Problem Set 9 Solutions Problem 1. Consider the integral Z DocID: 1rf6Z - View Document
	OPTIMIZATION APPROACHES TO QUADRATURE: NEW CHARACTERIZATIONS OF GAUSSIAN QUADRATURE ON THE LINE AND QUADRATURE WITH FEW NODES ON PLANE ALGEBRAIC CURVES, ON THE PLANE AND IN HIGHER DIMENSIONS CORDIAN RIENER AND MARKUS SCH DocID: 1r9Jf - View Document