Sciweavers

3823 search results - page 222 / 765
» Stability of Hybrid Systems
Sort
View
ATAL
2007
Springer
16 years 22 days ago
Demonstration of teamwork in uncertain domains using hybrid BDI-POMDP systems
Tapana Gupta, Pradeep Varakantham, Timothy W. Raue...
CAV
2007
Springer
123views Hardware» more  CAV 2007»
16 years 22 days ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang