research
∙
08/21/2023
Capacity ATL
Model checking strategic abilities was successfully developed and applie...
share
research
∙
06/28/2022
Reasoning about Moving Target Defense in Attack Modeling Formalisms
Since 2009, Moving Target Defense (MTD) has become a new paradigm of def...
research
∙
06/28/2022
Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems
We give a relational and a weakest precondition semantics for "knowledge...
research
∙
04/19/2022
Model Checking Strategic Abilities in Information-sharing Systems
We introduce a subclass of concurrent game structures (CGS) with imperfe...
research
∙
02/18/2022
Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems
Multi-Agent Systems (MAS) are notoriously complex and hard to verify. In...
research
∙
01/24/2022
Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
In online advertising, search engines sell ad placements for keywords co...
research
∙
12/27/2021
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information
In logics for the strategic reasoning the main challenge is represented ...
research
∙
07/24/2020
Natural Strategic Abilities in Voting Protocols
Security properties are often focused on the technological side of the s...
research
∙
06/26/2020
A Hennessy-Milner Theorem for ATL with Imperfect Information
We show that a history-based variant of alternating bisimulation with im...
research
∙
03/11/2019
Model Checking ATL* on vCGS
We prove that the model checking ATL* on concurrent game structures with...
research
∙
07/12/2016