Sciweavers

2366 search results - page 115 / 474
» Pfaffian Hybrid Systems
Sort
View
ATAL
2007
Springer
16 years 11 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 10 days ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
LTCONF
2007
Springer
16 years 9 days ago
A Hybrid System for Named Entity Metonymy Resolution
Caroline Brun, Maud Ehrmann, Guillaume Jacquet
PROMAS
2007
Springer
16 years 8 days ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...