Search filters

List of works by Louise A Dennis

A Common Basis for Agent Organisation in BDI Languages

scientific article published in 2008

A Formal Semantics for Brahms

scientific article published in 2011

Ethical Choice in Unforeseen Circumstances

Evaluating alternative gait strategies using evolutionary robotics

scientific article (publication date: May 2004)

Formal verification of ethical choices in autonomous systems

Satellite Control Using Rational Agent Programming

scientific article published in May 2010

Slicing Agent Programs for More Efficient Verification

Verifying Brahms Human-Robot Teamwork Models

scientific article published in 2012

Paulina is supported by:

About Paulina

Help