Login / Signup

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination.

Rajeev AlurJoel M. EspositoMinJun KimVijay KumarInsup Lee
Published in: World Congress on Formal Methods (1999)
Keyphrases
  • hybrid systems
  • case study
  • mobile robot
  • computational intelligence
  • intelligent systems
  • simulation model
  • meta learning