Specification and verification of hybrid dynamic systems with timed ∀ -automata

• Authors:

• Ying Zhang;Alan K. Mackworth

• Affiliations:

• -;-

• Venue:
• Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
• Year:
• 1996