dblp.uni-trier.dewww.uni-trier.de

Eva Crück

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
2EEEva Crück, John Lygeros: A Hybrid Model for Subliminal Air Traffic Control. HSCC 2007: 672-675
2002
1EEAlexandre M. Bayen, Eva Crück, Claire Tomlin: Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. HSCC 2002: 90-104

Coauthor Index

1Alexandre M. Bayen [1]
2John Lygeros [2]
3Claire Tomlin [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)