Filtrer vos résultats
- 19
- 15
- 22
- 7
- 2
- 1
- 1
- 1
- 1
- 1
- 32
- 4
- 2
- 2
- 2
- 1
- 1
- 2
- 1
- 2
- 4
- 1
- 2
- 2
- 1
- 2
- 4
- 3
- 1
- 3
- 19
- 15
- 31
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 34
- 26
- 5
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
34 résultats
|
|
triés par
|
An agent Compositional Proof SystemFrom Agent Theory to Agent Implementation (AT2AI-5), 2006, Vienne, Austria. pp.11-21
Communication dans un congrès
hal-00502139v1
|
|||
|
{GDT4MAS}: an extension of the GDT model to specify and to verify MultiAgent SystemsProc. 8th International Conference on Autonomous Agent and Multiagent Systems (AAMAS 2009), 2009, Hungary. pp.505-512
Communication dans un congrès
hal-00955906v1
|
||
|
Comment les échecs de preuve peuvent aider à la correction de spécifications erronées de Systèmes Multi-AgentsJFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France. Cépaduès, 2022, JFSMA 2022. SMA et Smart Cities
Poster de conférence
hal-03788977v1
|
||
|
How Variables Graphs May Help to Correct Erroneous MAS SpecificationsIntelligent Systems (Intellisys), Sep 2023, Amsterdam, France
Communication dans un congrès
hal-04199918v1
|
||
Systèmes Multi-Agents: Ouverture, Autonomie, et Co-évolution - JFSMA 12 - Vingtièmes journées francophones sur les systèmes multi-agents.Cepadues Editions, 2012, 978-2-36493-037-7
Ouvrages
hal-00956433v1
|
|||
Specifying Properties of MAS: Towards " on the fly " Debugging ArchitectureFirst International Workshop on Safety and Security in Multiagent Systems (Sasamas'04, AAMAS'04), 2004, United States
Communication dans un congrès
hal-00256160v1
|
|||
Specifying, Verifying and Implementing a MAS : A Case study5th International Workshop on Programing Multi-Agent Systems (ProMAS 2007), 2007, pp.15
Article dans une revue
hal-00172791v1
|
|||
Vers une aide au débuggage des SMA par l'exploitation d'échecs de preuveJournées Francophones sur les Systèmes Multi-Agents (JFSMA 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-01566956v1
|
|||
Éthique et agents autonomes[Rapport de recherche] Dépt. Droit, Economie, Finances (Institut Mines-Télécom Business School (Institut Mines-Télécom)); Institut Interdisciplinaire d’Anthropologie du Contemporain (UMR8177 - CNRS EHESS); École des Mines de Saint-Étienne (Institut Mines-Télécom); Laboratoire Informatique Paris VI (Université Pierre et Marie Curie - Paris VI); The French Aerospace Lab [Palaiseau] - Office National d'Etudes et de Recherches Aérospatiales (Ministère de la Défense, France); Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (ENSICAEN - CNRS : UMR6072 - Université de Caen Basse-Normandie ); Systèmes réseaux, cybersécurité et droit du numérique (IMT Atlantique – dept. SRCD Cesson-Sévigné, France); Dépt. Systèmes d'Information (Institut Mines-Télécom Business School (Institut Mines-Télécom)). 2018, pp.49
Rapport
hal-02333885v1
|
|||
Spécification de services : une approche avec BRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 1998, 17 (9), pp.1157-1180
Article dans une revue
inria-00098448v1
|
|||
|
(R)évolutions de l'informatique dans le sup : orientation et pratiques pédagogiques !1024 : Bulletin de la Société Informatique de France, 2022, 20, pp.97-105. ⟨10.48556/SIF.1024.20.97⟩
Article dans une revue
hal-04199934v1
|
||
Autonomie et Dynamiques collectives dans les systèmes multi-agentsHermes, 2013
Ouvrages
hal-00956447v1
|
|||
|
Towards a framework to deal with ethical conflicts in autonomous agents and multi - agent systemsCEPE 2014 Well-Being, Flourishing, and ICTs, Jun 2014, Paris, France. paper 8
Communication dans un congrès
emse-01059503v1
|
||
Qualité de service dans une logique temporelle compositionnelleAutre [cs.OH]. Université Henri Poincaré - Nancy 1, 1998. Français. ⟨NNT : 1998NAN10006⟩
Thèse
tel-01747044v1
|
|||
Service specifications to B, or not to BSecond Workshop on Formal Methods in Software Practice, 1998, Clearwater Beach, Florida, USA, 8 p
Communication dans un congrès
inria-00098409v1
|
|||
|
Specifying and Verifying Holonic Agents with GDT4MASInternational Journal of Agent Oriented Software Engineering, 2010, pp.281-303
Article dans une revue
hal-00955945v1
|
||
|
GDT4MAS : a formal model and language to specify and verify multiagent systemsVerification and validation of multi-agent models for complex systems, 2011, paris, France
Communication dans un congrès
hal-00955956v1
|
||
|
GDT4MAS: a formal model and language to specify and verify agent-based complex systemsStudia Informatica Universalis, 2012, 10, pp.5-32
Article dans une revue
hal-00956412v1
|
||
|
A new proof system to verify GDT agentsInternational Symposium on Intelligent Distributed Computing, Sep 2013, prague, Czech Republic. pp.181-187, ⟨10.1007/978-3-319-01571-2_22⟩
Communication dans un congrès
hal-00956442v1
|
||
|
Specifying recursive agents with GDTsJournal of Autonomous Agents and Multi-agent Systems (JAAMAS), 2011, 23 (2), pp.273-301
Article dans une revue
hal-00955953v1
|
||
A Dynamic Clustering Algorithm for Mobile ObjectsKnowledge Discovery in Databases: PKDD 2007, 11th European Conference on Principles and Practice of Knowledge Discovery in Databases, 2007, Poland. pp.422-429
Communication dans un congrès
hal-00502114v1
|
|||
|
Side effects of agents are not just RandomEngineering Multi Agent Systems (EMAS 2014), May 2014, France. pp.253--271
Communication dans un congrès
hal-00994855v1
|
||
|
Dealing with ethical conflicts in autonomous agents and multi-agent systems1st International Workshop on Artificial Intelligence and Ethics at the 29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, United States
Communication dans un congrès
emse-01099705v1
|
||
|
Formal Verication of Ethical Properties in Multiagent Systems1st Workshop on Ethics in the Design of Intelligent Agents, Aug 2016, La Haye, Netherlands
Communication dans un congrès
hal-01708133v1
|
||
Goal Decomposition Tree: An Agent Model To Generate A Validated Agent BehaviourDeclarative Agent Languages and Technologies, 2005, Netherlands. pp.124-140
Communication dans un congrès
hal-00502121v1
|
|||
Un algorithme multi-agents de clustering dynamique pour des données mobilesAtelier Flux de Données, EGC'07, 7ème conférence francophone "Extraction et Gestion des Connaissances, 2007, Namur, Belgique
Communication dans un congrès
hal-00502140v1
|
|||
|
Les effets de bord des agents ne sont pas que le fruit du hasardReconnaissance de Formes et Intelligence Artificielle (RFIA) 2014, Jun 2014, CAEN CEDEX 5, France. pp.6
Communication dans un congrès
hal-00989234v1
|
||
|
Vérification formelle de propriétés de vivacité pour des SMA stochastiques à l'aide de GDTJournées Francophones sur les Systèmes Multi-Agents, Jul 2023, Strasboug, France
Communication dans un congrès
hal-04517344v1
|
||
|
Spécifier des agents composés d'agents avec les GDTsActes des 17es Journées Francophones sur les Systèmes Multi-Agents (JFSMA 2009), 2009, France
Communication dans un congrès
hal-00955934v1
|
||
Implanter des comportements d'agents prouvés via des automatesReconnaissance des Formes et Intelligence Artificielle, 2006, TOURS, France. pp.9 P
Communication dans un congrès
hal-00476403v1
|
- 1
- 2