Fehnker, Ansgar 1971-
Fehnker, A. (Ansgar), 1971-
Fehnker, Ansgar
Ansgar Fehnker Ph.D. Katholieke Universiteit Nijmegen 2002
VIAF ID: 215390356 ( Personal )
Permalink: http://viaf.org/viaf/215390356
Preferred Forms
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Automotive control revisited : linear inequalities as approximation of reachable sets | |
Bounding and heuristics in forward reachability algorithms | |
Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems | |
Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings | |
Modeling and verifying a Lego car using hybrid I/O automata | |
Scheduling a steel plant with timed automata | |
Survey on Directed Model Checking |