Abstract – Despite increasing deployment of agent technologies in several business and industry domains, user confidence in fully automated agent driven applications is noticeab...
Java-based simulation environments are currently used by many multiagent systems (MAS), since they mainly provide portability as well as an interesting reduction of the development...
Abstract-- In a first paper we studied system theoretic properties of patterned systems and solved classical control synthesis problems with the added requirement to preserve the s...
This paper discusses issues related with learning resources brokerage systems. It introduces a market-based modeling approach and proposes a virtual market model design of a broke...
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
Alessio Lomuscio, Franco Raimondi, Marek J. Sergot