Show simple item record

dc.contributor.author
Abate, A.
dc.contributor.author
Katoen, J.P.
dc.contributor.author
Lygeros, John
dc.contributor.author
Prandini, M.
dc.date.accessioned
2017-06-09T08:51:48Z
dc.date.available
2017-06-09T08:51:48Z
dc.date.issued
2010
dc.identifier.issn
1435-5671
dc.identifier.issn
0947-3580
dc.identifier.other
10.3166/ejc.16.624-641
dc.identifier.uri
http://hdl.handle.net/20.500.11850/28675
dc.language.iso
en
dc.publisher
Springer
dc.subject
Stochastic Hybrid Systems
dc.subject
Model Checking
dc.subject
Probabilistic Invariance
dc.title
Approximate Model Checking of Stochastic Hybrid Systems
dc.type
Journal Article
ethz.journal.title
European Journal of Control
ethz.journal.volume
16
ethz.journal.issue
6
ethz.journal.abbreviated
Eur. j. control
ethz.pages.start
624
ethz.pages.end
641
ethz.notes
Received 5 May 2009, Accepted 18 February 2010.
ethz.identifier.nebis
001532084
ethz.publication.place
Godalming, Surrey
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02650 - Institut für Automatik / Automatic Control Laboratory::03751 - Lygeros, John / Lygeros, John
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02650 - Institut für Automatik / Automatic Control Laboratory::03751 - Lygeros, John / Lygeros, John
ethz.date.deposited
2017-06-09T08:52:04Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d8d7117962846
ethz.ecitpid
pub:47851
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-17T08:45:07Z
ethz.rosetta.lastUpdated
2018-10-01T10:57:01Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Approximate%20Model%20Checking%20of%20Stochastic%20Hybrid%20Systems&rft.jtitle=European%20Journal%20of%20Control&rft.date=2010&rft.volume=16&rft.issue=6&rft.spage=624&rft.epage=641&rft.issn=1435-5671&0947-3580&rft.au=Abate,%20A.&Katoen,%20J.P.&Lygeros,%20John&Prandini,%20M.&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record