Publication | Closed Access
Controllers for reachability specifications for hybrid systems
608
Citations
23
References
1999
Year
Reachability AnalysisEngineeringReachability ProblemReachability SpecificationsFormal MethodsSystems EngineeringController SynthesisFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1