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