Concepedia

Publication | Closed Access

Verification of a cruise control system using counterexample-guided search

DOI

44

Citations

13

References

2004

Year

Olaf Stursberg, Ansgar Fehnker, Zhi Han, Bruce H. Krogh
Control Engineering Practice

References

YearCitations

Page 1