04b Atto di convegno in volume
-
-
In Markov Decision Processes (MDPs), rewards are assigned according to a function of the last state and action. This is often limiting, when the considered domain is not naturally Markovian, but becomes so after careful engineering of extended state space. The extended states record information...
-
-
The user experience of interacting with distributed ledger technologies (DLT) is fraught with excessive complexity, high risk and unintuitive processes. Moreover, smart contracts deployed in these systems are restricted to being reactive. These limitations have negative implications on user...
-
Real-world transportation networks provide rich and complex environments, well-suited to the deployment of multi-agent systems. In this demonstration, we simulate a population of electric vehicles making a journey between two cities. The challenge for the vehicles lies in making decisions of how...
-
-
-
-
We look at program synthesis where the aim is to automatically synthesize a controller that operates on data structures and from which a concrete program can be easily derived. We do not aim at a fully-automatic process or tool that produces a program meeting a given specification of the program’s...
-