Matthias Althoff

	2012
11		Matthias Althoff, Bruce H. Krogh: Avoiding geometric intersection operations in reachability analysis of hybrid systems. HSCC 2012: 45-54
	2011
10		Matthias Althoff, Bruce H. Krogh: Zonotope bundles for the efficient computation of reachable sets. CDC-ECE 2011: 6814-6821
9		Matthias Althoff, Colas Le Guernic, Bruce H. Krogh: Reachable set computation for uncertain time-varying linear systems. HSCC 2011: 93-102
8		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: 659-666
7		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 12(4): 1237-1247 (2011)
	2010
6		Daniel Althoff, Matthias Althoff, Dirk Wollherr, Martin Buss: Probabilistic collision state checker for crowded environments. ICRA 2010: 1492-1498
5		Matthias Althoff, Daniel Althoff, Dirk Wollherr, Martin Buss: Safety verification of autonomous vehicles for coordinated evasive maneuvers. Intelligent Vehicles Symposium 2010: 1078-1083
	2009
4		Matthias Althoff, Olaf Stursberg, Martin Buss: Model-Based Probabilistic Collision Detection in Autonomous Driving. IEEE Transactions on Intelligent Transportation Systems 10(2): 299-310 (2009)
	2008
3		Matthias Althoff, Olaf Stursberg, Martin Buss: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. CDC 2008: 4042-4048
2		Florian Rohrmüller, Matthias Althoff, Dirk Wollherr, Martin Buss: Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments. IROS 2008: 2504-2510
1		Matthias Althoff, Olaf Stursberg, Martin Buss: Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). Automatisierungstechnik 56(12): 653-661 (2008)

Coauthor Index

1	Daniel Althoff	[5] [6]
2	Martin Buss	[1] [2] [3] [4] [5] [6]
3	Colas Le Guernic	[9]
4	Bruce H. Krogh	[8] [9] [10] [11]
5	Xin Li	[8]
6	Alexander Mergel	[7]
7	Lawrence T. Pileggi (Larry T. Pileggi, Lawrence T. Pillage)	[8]
8	Akshay Rajhans	[8]
9	Florian Rohrmüller	[2]
10	Olaf Stursberg	[1] [3] [4]
11	Dirk Wollherr	[2] [5] [6]
12	Soner Yaldiz	[8]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page