Fehnker, Ansgar (1971-)
B0029052: p. 1: Ansgar Fehnker, Computer Science Institute, Univ. of Nijmegen
| rdfs:label | "Fehnker, Ansgar (1971-)" |
| schema:name | "Ansgar Fehnker" |
|
schema:family |
"Fehnker" |
|
schema:given |
"Ansgar" |
| schema:description | "B0029052: p. 1: Ansgar Fehnker, Computer Science Institute, Univ. of Nijmegen" |
| "B9828396, p. 1: Ansgar Fehnker" | |
|
schema:birth |
"1971" |
|
schema:same |
wd:Q102282379 |
|
<https:/ |
|
|
<http:/ |
|
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Fehnker, Ansgar (1971-)
Automotive control revisited : linear inequalities as approximation of reachable sets / A. Fehnkerschema:ProductModel
Bounding and heuristics in forward reachability algorithms / A. Fehnkerschema:ProductModel
Bounding and heuristics in forward reachability algorithms / A. Fehnkerschema:ProductModel
Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems / Ansgar Fehnkerschema:ProductModel
Modeling and verifying a Lego car using hybrid I/O automata / A. Fehnker, F.W. Vaandrager, M. Zhangschema:ProductModel
Scheduling a steel plant with timed automata / A. Fehnkerschema:ProductModel