Sciweavers

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