Sciweavers

2366 search results - page 115 / 474
» Pfaffian Hybrid Systems
Sort
View
41
Voted
ATAL
2007
Springer
15 years 7 months ago
Demonstration of teamwork in uncertain domains using hybrid BDI-POMDP systems
Tapana Gupta, Pradeep Varakantham, Timothy W. Raue...
82
Voted
CAV
2007
Springer
123views Hardware» more  CAV 2007»
15 years 7 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
99
Voted
LTCONF
2007
Springer
15 years 7 months ago
A Hybrid System for Named Entity Metonymy Resolution
Caroline Brun, Maud Ehrmann, Guillaume Jacquet
87
Voted
PROMAS
2007
Springer
15 years 7 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...