Victoria Alonso
Paloma de la Puente
2018
System transparency in shared autonomy: A mini review
Frontiers in neurorobotics
12
83
10.3389/fnbot.2018.00083
Blair Archibald
2021
Modelling and verifying BDI agents with bigraphs
arXiv preprint arXiv:2105.02578
Blair Archibald
2021
Probablistic bigraphs
arXiv preprint arXiv:2105.02559
Steve Benford
2016
On lions, impala, and bigraphs: Modelling interactions in physical/virtual spaces
ACM Transactions on Computer-Human Interaction (TOCHI)
23
2
1–56
10.1145/2882784
Adella Bhaskara
2020
Agent transparency: A review of current theory and evidence
IEEE Transactions on Human-Machine Systems
50
3
215–224
10.1109/THMS.2020.2965529
Michael Bratman
1987
Intention, plans, and practical reason
Harvard University Press
10.2307/2185304
Paul Bremner
2019
On proactive, transparent, and verifiable ethical reasoning for robots
Proceedings of the IEEE
107
3
541–561
10.1109/JPROC.2019.2898267
Mikkel Bundgaard
Vladimiro Sassone
2006
Typed polyadic pi-calculus in bigraphs
Proceedings of ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming
1–12
10.1145/1140335.1140336
Filippo Cantucci
Rino Falcone
2020
Towards trustworthiness and transparency in social human-robot interaction
Proceedings of 2020 IEEE International Conference on Human-Machine Systems (ICHMS)
IEEE
1–6
10.1109/ICHMS49158.2020.9209397
Edmund M Clarke
E Allen Emerson
1981
Design and synthesis of synchronization skeletons using branching time temporal logic
Proceedings of Workshop on Logic of Programs
52–71
10.1007/BFb0025774
Louise A Dennis
2012
Model checking agent programming languages
Automated software engineering
19
1
5–63
10.1007/s10515-011-0088-x
Louise A Dennis
2016
Practical verification of decision-making in agent-based autonomous systems
Automated Software Engineering
23
3
305–359
10.1007/s10515-014-0168-9
James Harland
2014
An operational semantics for the goal life-cycle in BDI agents
Autonomous agents and multi-agent systems
28
4
682–719
10.1007/s10458-013-9238-9
James Harland
2017
Aborting, suspending, and resuming goals and plans in BDI agents
Autonomous Agents and Multi-Agent Systems
31
2
288–331
10.1007/s10458-015-9322-4
IEEE
2020
IEEE Draft Standard for Transparency of Autonomous Systems
IEEE P7001/D1
Piscataway NJ: IEEE
1–76
Marta Kwiatkowska
2011
PRISM 4.0: Verification of Probabilistic Real-time Systems
Proceedings of Conference on Computer Aided Verification
585–591
10.1007/978-3-642-22110-1_47
Patricia McDermott
2018
Human-machine teaming systems engineering guide
Technical Report
MITRE CORP
Robin Milner
2009
The space and motion of communicating agents
Cambridge University Press
10.1017/CBO9780511626661
Thomas ONeill
2020
Human–autonomy teaming: A review and analysis of the empirical literature
Human Factors
10.1177/0018720820960865
Raja Parasuraman
Victor Riley
1997
Humans and automation: Use, misuse, disuse, abuse
Human factors
39
2
230–253
10.1518/001872097778543886
Anand S Rao
1996
AgentSpeak (L): BDI agents speak out in a logical computable language
European workshop on modelling autonomous agents in a multi-agent world
Springer
42–55
10.1007/BFb0031845
Anand S Rao
1995
BDI agents: From theory to practice.
Proceedings of the First International Conference on Multiagent Systems
312–319
M. Birna van Riemsdijk
2004
Dynamics of declarative goals in agent programming
Proceedings of International Workshop on Declarative Agent Languages and Technologies
Springer
1–18
10.1007/11493402_1
M. Birna van Riemsdijk
2005
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
133–140
10.1145/1082473.1082494
Sebastian Sardina
Lin Padgham
2007
Goals in the context of BDI plan failure and planning
the 6th International Joint Conference on Autonomous Agents and Multiagent Systems
16–23
10.1145/1329125.1329134
Sebastian Sardina
Lin Padgham
2011
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
23
1
18–70
10.1007/s10458-010-9130-9
Allison Sauppé
Bilge Mutlu
2015
The social impact of a robot co-worker in industrial settings
Proceedings of the 33rd annual ACM conference on human factors in computing systems
3613–3622
10.1145/2702123.2702181
Isabella Seeber
2020
Machines as teammates: A research agenda on AI in team collaboration
Information & management
10.1016/j.im.2019.103174
Michele Sevegnani
Muffy Calder
2016
BigraphER: Rewriting and Analysis Engine for Bigraphs
28th International Conference on Computer Aided Verification
494–501
10.1007/978-3-319-41540-6_27
Michele Sevegnani
Eloi Pereira
2014
Towards a bigraphical encoding of actors
International Workshop on Meta Models for Process Languages
10.13140/RG.2.1.3681.9046
Michele Sevegnani
2018
Modelling and Verification of Large-Scale Sensor Network Infrastructures
23rd International Conference on Engineering of Complex Computer Systems, ICECCS
71–81
10.1109/ICECCS2018.2018.00016
R Jay Shively
2017
Why human-autonomy teaming?
International conference on applied human factors and ergonomics
Springer
3–11
10.1007/978-3-319-60642-2_1
Anna Spagnolli
2017
Transparency as an ethical safeguard
International Workshop on Symbiotic Interaction
Springer
1–6
10.1007/978-3-319-91593-7_1
J. Thangarajah
L. Padgham
2011
Computationally effective reasoning about goal interactions
Journal of Automated Reasoning
47
1
17–56
10.1007/s10817-010-9175-0
John Thangarajah
2014
Quantifying the completeness of goals in BDI agent systems
ECAI 2014
IOS Press
879–884
10.3233/978-1-61499-419-0-879
John Thangarajah
2015
Estimating the Progress of Maintenance Goals.
AAMAS
1645–1646
Christos Tsigkanos
2020
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations
35th IEEE/ACM International Conference on Automated Software Engineering
993–1003
10.1145/3324884.3416579
Alan FT Winfield
2021
IEEE P7001: A Proposed Standard on Transparency
Frontiers in Robotics and AI
225
10.3389/frobt.2021.665729
Michael Winikoff
2005
JACK intelligent agents: an industrial strength platform
Multi-Agent Programming
Springer
175–193
10.1007/0-387-26350-0_7
Michael Winikoff
2002
Declarative and procedural goals in intelligent agent systems
8th International Conference on Principles of Knowledge Representation and Reasoning
470–481
Mengwei Xu
2019
Intention interleaving via classical replanning
31st International Conference on Tools with Artificial Intelligence
IEEE
85–92
10.1109/ICTAI.2019.00021