Sciweavers

4693 search results - page 171 / 939
» Verifying Hybrid Systems
Sort
View
ATAL
2007
Springer
16 years 1 months 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 1 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang