Richard Stocker

According to our database, Richard Stocker authored at least 8 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Novel ultra-energy-efficient reversible designs of sequential logic quantum-dot cellular automata flip-flop circuits.

Mohammed Alharbi, Gerard Edwards, Richard Stocker

J. Supercomput., July, 2023

2016

Modeling complex air traffic management systems.

Neha Rungta, Eric G. Mercer, Franco Raimondi, Bjorn C. Krantz, Richard Stocker, Andrew Wallace

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Implementing Virtual Pheromones in BDI Robots Using MQTT and Jason (Short Paper).

Michele Bottone, Filippo Palumbo, Giuseppe Primiero, Franco Raimondi, Richard Stocker

Proceedings of the 5th IEEE International Conference on Cloud Networking, 2016

2015

An Approach to Quantify Workload in a System of Agents.

Richard Stocker, Neha Rungta, Eric Mercer, Franco Raimondi, Jon Holbrook, Colleen Cardoza, Michael A. Goodrich

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2013

Towards the formal verification of human-agent-robot teamwork.

Richard Stocker

PhD thesis, 2013

A synergistic and extensible framework for multi-agent system verification.

Josie Hunter, Franco Raimondi, Neha Rungta, Richard Stocker

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Verifying Brahms Human-Robot Teamwork Models.

Richard Stocker, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

2011

A Formal Semantics for Brahms.

Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher

Proceedings of the Computational Logic in Multi-Agent Systems, 2011