Sciweavers

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