The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder-Reference-Cited by-同舟云学术

The MCAPL Framework including the Agent Infrastructure Layer an Agent Java Pathfinder

Published:2018-04-30 Issue:24 Volume:3 Page:617
ISSN:2475-9066
Container-title:Journal of Open Source Software
language:
Short-container-title:JOSS

Author:

A. Dennis Louise

Publisher

The Open Journal

Link

http://www.theoj.org/joss-papers/joss.00617/10.21105.joss.00617.pdf

Reference14 articles.

1. Rao, A. S. and Georgeff, M. P., An Abstract Architecture for Rational Agents, Proc. International Conference on Knowledge Representation and Reasoning (KR&R), 1992, 439–449, Morgan Kaufmann

2. Dennis, Louise A., Gwendolen Semantics: 2017, University of Liverpool, Department of Computer Science, 2017, ULCS-17-001

3. Dennis, Louise A. and Fisher, Michael and Webster, Matt, Two-stage agent program verification, Journal of Logic and Computation, 2015

4. Fisher, Michael and Dennis, Louise A. and Webster, Matthew P., Verifying autonomous systems, Commun. ACM, 56, 9, 2013, 84-93, http://doi.acm.org/10.1145/2494558, DBLP, http://dblp.uni-trier.de

5. Practical verification of decision-making in agent-based autonomous systems

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

2. Autonomous Systems' Safety Cases for use in UK Nuclear Environments;Electronic Proceedings in Theoretical Computer Science;2023-09-30

3. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review;ACM Transactions on Software Engineering and Methodology;2023-03-30

4. Fantastic MASs and Where to Find Them: First Results and Lesson Learned;Engineering Multi-Agent Systems;2023

5. Adaptive Cognitive Agents: Updating Action Descriptions and Plans;Multi-Agent Systems;2023