Result 1 to 20 of 314 total
Verifying Brahms human-robot teamwork models. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 385-397 (2012).
1
Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. (English)
Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). x, 213~p. EUR~49.22 (2012).
2
Distinguishing numbers of Cartesian products of multiple complete graphs. (English)
Ars Math. Contemp. 5, No. 1, 159-173 (2012).
3
Analysing robot swarm behaviour via probabilistic model checking. (English)
Robot. Auton. Syst. 60, No. 2, 199-213 (2012).
4
Agent deliberation in an executable temporal framework. (English)
J. Appl. Log. 9, No. 4, 223-238 (2011).
5
Where logic and agents meet. (English)
Ann. Math. Artif. Intell. 61, No. 1, 15-28 (2011).
6
Formal methods for the certification of autonomous unmanned aircraft systems. (English)
Flammini, Francesco (ed.) et al., Computer safety, reliability, and security. 30th international conference, SAFECOMP 2011, Naples, Italy, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24269-4/pbk). Lecture Notes in Computer Science 6894, 228-242 (2011).
7
Towards temporal verification of emergent behaviours in swarm robotic systems. (English)
Groß, Roderich (ed.) et al., Towards autonomous robotic systems. 12th annual conference, TAROS 2011, Sheffield, UK, August 31‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23231-2/pbk). Lecture Notes in Computer Science 6856. Lecture Notes in Artificial Intelligence, 336-347 (2011).
8
A formal semantics for Brahms. (English)
Leite, João (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 259-274 (2011).
9
Allocation and admission policies for service streams. (English)
Comput. Res. Repos. 2011, Article No. 1102.3703 (2011).
10
Declarative abstractions for agent based hybrid control systems. (English)
Omicini, Andrea (ed.) et al., Declarative agent languages and technologies VIII. 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-642-20714-3/pbk). Lecture Notes in Computer Science 6619, 96-111 (2011).
11
An introduction to practical formal methods using temporal logic. (English)
Hoboken, NJ: John Wiley \& Sons (ISBN 978-0-470-02788-2/hbk; 978-1-11-999147-2/ebook). vii, 353~p. \sterling~80.00; EUR~96.00 (2011).
12
Characterizing structural relationships in scenes using graph kernels (English)
ACM Trans. Graph. 30, No. 4, 34 (2011).
13
io-port 50127398 Meyer, Marlize;
Robinson, Hylton;
Fisher, Michele;
Van Der Merwe, Anette;
Streicher, Gerrit;
Van Rensburg, Johan Janse;
Den Berg, Hentie Van;
Dreyer, Esmi;
Joubert, Jaco;
Bonthuys, Gerkotze;
Rossouw, Ruan;
Louw, Willem;
Van Deventer, Lorraine;
Wykes, Cecile;
Cawood, Ebert
Innovative decision support in a petrochemical production environment (English)
Interfaces 41, No. 1, 79-92 (2011).
14
A formal semantics for brahms (English)
CLIMA, 259-274 (2011).
15
Towards temporal verification of emergent behaviours in swarm robotic systems (English)
TAROS, 336-347 (2011).
16
Formal methods for the certification of autonomous unmanned aircraft systems (English)
SAFECOMP, 228-242 (2011).
17
Predictive routing in mobile ad-hoc networks (English)
NGMAST, 117-122 (2011).
18
Formal analysis of a VANET congestion control protocol through probabilistic verification (English)
VTC Spring, 1-5 (2011).
19
The birank number of a graph. (English)
Congr. Numerantium 204, 173-180 (2010).
20
Result 1 to 20 of 314 total
Start
Contact
Print
General Help
