We study the reachability problem for systems implemented as feed-forward neural networks
whose activation function is implemented via ReLU functions. We draw a correspondence …

Jason is an Open Source interpreter for an extended version of AgentSpeak–a logic-based
agent-oriented programming language–written in JavaTM. It enables users to build complex …

This article introduces the notion of environment programming in software multi-agent
systems (MAS) and describes a concrete computational and programming model based on …

A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …

Verifying autonomous systems Page 1 84 commUnications of thE acm | september 2013 | vol.
56 | no. 9 review articles Ill u S tra t Ion b ya lICI ak ub IS ta/ a n D r IJ b or yS a SS o CI a te S …

CArtAgO is a platform and infrastructure providing ageneral-purpose programming model for
building shared computational worlds–referred here as work environments–that agents …

In this paper we describe a verification system for multi-agent programs. This is the first
comprehensive approach to the verification of programs developed using programming …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

SCIFF is a framework thought to specify and verify interaction in open agent societies. The
SCIFF language is equipped with a semantics based on abductive logic programming; …