A two-step scheme for approximate model checking of stochastic hybrid systems

A Abate, J.P. Katoen, J. Lygeros, M Prandini

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

2 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	IFAC world congress
Editors	S Bittanti
Place of Publication	Milan, Italy
Publisher	IFAC
Pages	4519-4524
Number of pages	6
Publication status	Published - 2011
Event	18th IFAC World Congress - Milaan, Italy Duration: 28 Aug 2011 → 2 Sept 2011

Name
Publisher	IFAC

Conference	18th IFAC World Congress
Period	28/08/11 → 2/09/11

Keywords

@inproceedings{efb2ff45a7574b78ba3cef36e0bba74e,

title = "A two-step scheme for approximate model checking of stochastic hybrid systems",

keywords = "Conf.proc. > 3 pag",

author = "A Abate and J.P. Katoen and J. Lygeros and M Prandini",

year = "2011",

language = "Undefined/Unknown",

publisher = "IFAC",

pages = "4519--4524",

editor = "S Bittanti",

booktitle = "IFAC world congress",

note = "18th IFAC World Congress ; Conference date: 28-08-2011 Through 02-09-2011",

}

TY - GEN

T1 - A two-step scheme for approximate model checking of stochastic hybrid systems

AU - Abate, A

AU - Katoen, J.P.

AU - Lygeros, J.

AU - Prandini, M

PY - 2011

Y1 - 2011

KW - Conf.proc. > 3 pag

M3 - Conference contribution

SP - 4519

EP - 4524

BT - IFAC world congress

A2 - Bittanti, S

PB - IFAC

CY - Milan, Italy

T2 - 18th IFAC World Congress

Y2 - 28 August 2011 through 2 September 2011

ER -