
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
May 12, 2020 • Live on Underline

SPEAKER
Dominik Peters
Carnegie Mellon University
aboutabstractchaptersauthors
Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems
May 12, 2020 • Live on Underline

SPEAKER
Dominik Peters
Carnegie Mellon University
similar conferences

next from AAMASview all

A Norm Emergence Framework for Normative MAS - Position Paper
AAMAS • May 12, 2020
similar lectures

Candidate Selections with Proportional Fairness Constraints
AAMAS • May 12, 2020

Exploiting Simulation for MAS Programming and Engineering -The JaCaMo-sim Platform
AAMAS • May 12, 2020

Automatic Classification of Freely-Offered Opinions
AAMAS • May 12, 2020

Model Transformations from the SARL Agent-Oriented Programming Language to an Object-Oriented Programming Language
AAMAS • May 12, 2020

Ethics in Sociotechnical Systems
AAMAS • May 12, 2020

Live Simulations
AAMAS • May 12, 2020

BitcoinF: Achieving Fairness For Bitcoin In Transaction Fee Only Model
AAMAS • May 12, 2020

alpha-alpha-Rank: Practically Scaling alpha-Rank through Stochastic Optimisation
AAMAS • May 12, 2020

Privacy Preserving Dark Pools
AAMAS • May 12, 2020

Distance Hedonic Games
AAMAS • May 12, 2020