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