Computational approaches to reachability analysis of stochastic hybrid systems


METADATA ONLY
Loading...

Date

2007

Publication Type

Conference Paper

ETH Bibliography

yes

Citations

Altmetric
METADATA ONLY

Data

Rights / License

Permanent link

Publication status

published

Book title

Hybrid systems: computation and control. 10th international conference: HSCC 2007, Pisa, Italy, April 3-5, 2007

Volume

4416

Pages / Article No.

4 - 17

Publisher

Springer

Event

10th International Conference on Hybrid Systems: Computation and Control (HSCC 2007)

Edition / version

Methods

Software

Geographic location

Date collected

Date created

Subject

Organisational unit

03751 - Lygeros, John / Lygeros, John check_circle

Notes

SpringerLink Date Thursday, May 31, 2007.

Funding

Related publications and datasets