Sciweavers

2377 search results - page 117 / 476
» Hybrid Systems in TLA
Sort
View
ATAL
2007
Springer
15 years 5 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 5 months ago
Test Coverage for Continuous and Hybrid Systems
Tarik Nahhal, Thao Dang
LTCONF
2007
Springer
15 years 5 months ago
A Hybrid System for Named Entity Metonymy Resolution
Caroline Brun, Maud Ehrmann, Guillaume Jacquet
PROMAS
2007
Springer
15 years 5 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...