Result 1 to 20 of 83 total
Finding correlations between 3-D surfaces: a study in asymmetric incremental sheet forming. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 8th international conference, MLDM 2012, Berlin, Germany, July 13‒20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31536-7/pbk). Lecture Notes in Computer Science 7376. Lecture Notes in Artificial Intelligence, 366-379 (2012).
1
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).
2
Analysing robot swarm behaviour via probabilistic model checking. (English)
Robot. Auton. Syst. 60, No. 2, 199-213 (2012).
3
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).
4
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).
5
A formal semantics for brahms (English)
CLIMA, 259-274 (2011).
6
Towards temporal verification of emergent behaviours in swarm robotic systems (English)
TAROS, 336-347 (2011).
7
A misuse-based network intrusion detection system using temporal logic and stream processing (English)
NSS, 1-8 (2011).
8
Home automation in the wild: challenges and opportunities (English)
CHI, 2115-2124 (2011).
9
Formal verification of probabilistic swarm behaviours. (English)
Dorigo, Marco (ed.) et al., Swarm intelligence. 7th international conference, ANTS 2010, Brussels, Belgium, September 8‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15460-7/pbk). Lecture Notes in Computer Science 6234, 440-447 (2010).
10
CTL-RP: A computation tree logic resolution prover. (English)
AI Commun. 23, No. 2-3, 111-136 (2010).
11
CTL-like fragments of a temporal logic of robustness (English)
TIME, 11-18 (2010).
12
The home needs an operating system (and an app store) (English)
HotNets, 18 (2010).
13
Formal verification of probabilistic swarm behaviours (English)
ANTS Conference, 440-447 (2010).
14
Maintaining optimal communication chains in robotic sensor networks using mobility control. (English)
Mob. Netw. Appl. 14, No. 3, 281-291 (2009).
15
Taming the complexity of temporal epistemic reasoning. (English)
Ghilardi, Silvio (ed.) et al., Frontiers of combining systems. 7th international symposium, FroCoS 2009, Trento, Italy, September 16‒18, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04221-8/pbk). Lecture Notes in Computer Science 5749. Lecture Notes in Artificial Intelligence, 198-213 (2009).
16
Deductive verification of simple foraging robotic behaviours. (English)
Int. J. Intell. Comput. Cybern. 2, No. 4, 604-643 (2009).
17
A refined resolution calculus for CTL. (English)
Schmidt, Renate A. (ed.), Automated deduction ‒ CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2‒7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 245-260 (2009).
18
A refined resolution calculus for CTL (English)
CADE, 245-260 (2009).
19
An end to the middle (English)
HotOS (2009).
20
Result 1 to 20 of 83 total
Start
Contact
Print
General Help
