|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Althoff, Bruce H. Krogh |
Avoiding geometric intersection operations in reachability analysis of hybrid systems.  |
HSCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Alexander Mergel |
Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars. |
IEEE Transactions on Intelligent Transportation Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Bruce H. Krogh |
Zonotope bundles for the efficient computation of reachable sets. |
CDC-ECE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Colas Le Guernic, Bruce H. Krogh |
Reachable set computation for uncertain time-varying linear systems. |
HSCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi |
Formal verification of phase-locked loops using reachability analysis and continuization. |
ICCAD |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Althoff, Matthias Althoff, Dirk Wollherr, Martin Buss |
Probabilistic collision state checker for crowded environments. |
ICRA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Daniel Althoff, Dirk Wollherr, Martin Buss |
Safety verification of autonomous vehicles for coordinated evasive maneuvers. |
Intelligent Vehicles Symposium |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Olaf Stursberg, Martin Buss |
Model-Based Probabilistic Collision Detection in Autonomous Driving. |
IEEE Transactions on Intelligent Transportation Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Olaf Stursberg, Martin Buss |
Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). |
Automatisierungstechnik |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Althoff, Olaf Stursberg, Martin Buss |
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rohrmüller, Matthias Althoff, Dirk Wollherr, Martin Buss |
Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")