journal article Open Access Jul 01, 2020

Verifiable Self-Aware Agent-Based Autonomous Systems

View at Publisher Save 10.1109/jproc.2020.2991262
Topics

No keywords indexed for this article. Browse by subject →

References
90
[5]
cointe "Ethical judgment of agents’ behaviors in multi-agent systems" Proc 4th Int Conf Auton Agents Multiagent Syst (AAMAS) (2016)
[7]
CAP 393 Air Navigation The Order and the Regulations (2010)
[10]
ROS—Robot Operating System (2020)
[11]
dennis "Recognising assumption violations in autonomous systems verification" Proc 3rd Int Joint Conf Autonomous Agents and Multiagent Systems (AAMAS) (2018)
[13]
ressia "Run-time evolution through explicit meta-objects" in Proc 5th Workshop Modelsrun time (2010)
[15]
winfield Robots with Internal Models A Route to Self-Aware Hence Safer Robots (2014)
[16]
holland "Robots with internal models a route to machine consciousness?" J Consciousness Stud (2003)
[17]
duval A Theory of Objective Self Awareness (1972)
[19]
lewis Self-Aware Computing Systems An Engineering Approach (2016) 10.1007/978-3-319-39675-0
[21]
dennis "Actions with durations and failures in BDI languages" Proc Europ Conf Artif Intel (ECAI) (2014)
[23]
cardoso "Plan library reconfigurability in BDI agents" Proc 7th Int Workshop Eng Multi-Agent Syst (EMAS) (2019)
[25]
konolige "A computational theory of belief introspection" Proc IJCAI (1985)
[27]
johnson-laird Mental Models Toward a Cognitive Science of Language Inference and Consciousness (1983)
[29]
boyer The Correctness Problem in Computer Science (1981)
[30]
maes Meta-level Architecture and Reflection (1988)
[34]
Vacuum cleaning robotiRobot Roomba (2020)
[35]
Waymo Wins Industry’s First Approval to Test Driverless Cars on Public Roads in California (2020)
[38]
edmonds "The insufficiency of formal design methods: Necessity of an experimental approach for the understanding and control of complex MAS" Proc AAMAS (2004)
[41]
falcone "A tutorial on runtime verification" Engineering Dependable Software Systems (2013)

Showing 50 of 90 references

Cited By
38
Engineering Responsible And Explainable Models In Human-Agent Collectives

Dhaminda B. Abeywickrama, Sarvapali D. Ramchurn · 2023

Applied Artificial Intelligence
Metrics
38
Citations
90
References
Details
Published
Jul 01, 2020
Vol/Issue
108(7)
Pages
1011-1026
License
View
Cite This Article
Louise A. Dennis, Michael Fisher (2020). Verifiable Self-Aware Agent-Based Autonomous Systems. Proceedings of the IEEE, 108(7), 1011-1026. https://doi.org/10.1109/jproc.2020.2991262
Related

You May Also Like

Gradient-based learning applied to document recognition

Y. Lecun, L. Bottou · 1998

56,927 citations

Consensus and Cooperation in Networked Multi-Agent Systems

Reza Olfati-Saber, J. Alex Fax · 2007

8,701 citations

The self-organizing map

T. Kohonen · 1990

6,335 citations

Unscented Filtering and Nonlinear Estimation

S.J. Julier, J.K. Uhlmann · 2004

5,213 citations