Back to Results
First PageMeta Content
Linear temporal logic / Temporal logic


Norm Approximation for Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan
Add to Reading List

Document Date: 2014-03-03 09:38:31


Open Document

File Size: 277,39 KB

Share Result on Facebook

City

Paris / /

Company

Multiagent Systems / Multi-Agent Systems / AAAI Press / /

Country

Guinea / France / /

/

Facility

Computer Science University of Nottingham / /

IndustryTerm

potential applications / monitoring algorithm / proof systems / Typical applications / normative systems / transition systems / agent-based normative systems / runtime software-fault monitoring tools / web service compositions / web services / /

Organization

Imperfect Monitors Natasha Alechina Mehdi Dastani Brian Logan School / International Foundation for Autonomous Agents / UK Department of Information / Computer Science University / /

Person

Paul Scerri / Michael Huhns / Ana Bazzan / Alessio Lomuscio / Natasha Alechina Mehdi Dastani Brian / /

Position

lecturer / designer / /

PublishedMedium

IEEE Transactions on Software Engineering / /

Technology

monitoring algorithm / cryptography / Intelligent Agent Technology / artificial intelligence / return false end function Algorithm / conditional norm using Algorithms / /

URL

www.ifaamas.org / /

SocialTag