#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2013

2017

- This year (3)
- Last 5 years (12)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
- AAMAS
- 2016

We study the problem of analysing the security for an unbounded number of concurrent sessions of a cryptographic protocol. Our formal model accounts for an arbitrary number of agents involved in a protocol-exchange which is subverted by a Dolev-Yao attacker. We define the parameterised model checking problem with respect to security requirements expressed… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- AAAI
- 2015

We study parameterised verification of robot swarms against temporal-epistemic specifications. We relax some of the significant restrictions assumed in the literature and present a counter abstraction approach that enable us to verify a potentially much smaller abstract model when checking a formula on a swarm of any size. We present an implementation and… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- ArXiv
- 2013

A key problem in verification of multi-agent systems by model checking concerns the fact that the state-space of the system grows exponentially with the number of agents present. This often makes practical model checking unfeasible whenever the system contains more than a few agents. In this paper we put forward a technique to establish a cutoff result,… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- IJCAI
- 2013

We put forward a cutoff technique for determining the number of agents that is sufficient to consider when checking temporal-epistemic specifications on a system of any size. We identify a special class of interleaved interpreted systems for which we give a parameterised semantics and an abstraction methodology. This enables us to overcome the significant… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- Artif. Intell.
- 2016

- Panagiotis Kouvaros, Alessio Lomuscio
- IJCAI
- 2015

We investigate the general problem of establishing whether a swarm satisfies an emergent property. We put forward a formal model for swarms that accounts for their nature of unbounded collections of agents following simple local protocols. We formally define the decision problem of determining whether a swarm satisfies an emergent property. We introduce a… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- AAMAS
- 2013

- Panagiotis Kouvaros, Alessio Lomuscio
- AAMAS
- 2016

We investigate the formal verification of consensus protocols in swarm systems composed of arbitrary many agents. We use templates to define the behaviour of the agents in an opinion dynamics setting and formulate their verification in terms of the associated parameterised model checking problem. We define a finite abstract model that we show to simulate… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- ECAI
- 2016

We investigate the parameterised model checking problem for specifications expressed in alternating-time temporal logic. We introduce parameterised concurrent game structures representing infinitely many games with different number of agents. We introduce a parametric variant of ATL to express properties of the system irrespectively of the number of agents… (More)

- Panagiotis Kouvaros, Alessio Lomuscio
- AAAI
- 2017