Using Proof Failures To Help Debugging Mas | 0 | 0.34 | 2019 |
Vérification formelle du respect de valeurs morales dans les SMA. | 0 | 0.34 | 2017 |
Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuve. | 0 | 0.34 | 2017 |
Vérification formelle et éthique dans les SMA. | 0 | 0.34 | 2016 |
Formal Verification of Ethical Properties in Multiagent Systems. | 1 | 0.36 | 2016 |
Using GDT4MAS as a formal support for engineering multi-agents systems | 0 | 0.34 | 2015 |
Dealing with Ethical Conflicts in Autonomous Agents and Multi-Agent Systems. | 1 | 0.37 | 2015 |
A New Proof System to Verify GDT Agents. | 1 | 0.39 | 2013 |
GDT4MAS: a formal model and language to specify and verify agent-based complex systems. | 0 | 0.34 | 2012 |
Specifying recursive agents with GDTs | 1 | 0.39 | 2011 |
Spécifier des agents composés d'agents avec les GDT [présentation courte]. | 0 | 0.34 | 2009 |
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems | 5 | 0.48 | 2009 |
Vers un algorithme multi-agents de clustering dynamique | 0 | 0.34 | 2007 |
Specifying and Verifying a MAS: The Robots on MarsCase Study | 0 | 0.34 | 2007 |
A Dynamic Clustering Algorithm for Mobile Objects | 1 | 0.35 | 2007 |
A tool architecture to verify properties of multiagent system at runtime | 3 | 0.40 | 2006 |
Goal decomposition tree: an agent model to generate a validated agent behaviour | 5 | 0.53 | 2005 |
SPACE: A Method to Increase Tracability in MAS Development | 3 | 0.43 | 2003 |
Using the SPACE Intermediate Model to Help to Implement Agents | 0 | 0.34 | 2003 |
Vers une méthodologie de développement de SMA adaptés aux problèmes d'optimisation. | 1 | 0.36 | 2002 |
A Methodology to Solve Optimisation Problems with MAS Application to the Graph Colouring Problem | 3 | 0.44 | 2002 |
Service specifications: to B, or not to B | 3 | 0.41 | 1998 |
Incremental Specification of Telecommunication Services | 5 | 0.46 | 1997 |
Safe combinations of services using B | 6 | 0.55 | 1997 |
Feature interactions: a mixed semantic model approach | 12 | 0.83 | 1997 |