Hybrid Trace Verifier

swMATH20335MaRDI QIDQ32155FDOQ32155

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=2185632.2185676

Cited In (4)

• S-TaLiRo
• GRKLib
• Computing bounded reach sets from sampled simulation traces
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems

This page was built for software: Hybrid Trace Verifier