Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Ivana Bocevska
Publications
Divide and Conquer: a Compositional Approach to Game-Theoretic Security
Ivana Bocevska
,
Anja Petković Komel
,
Laura Kovács
,
Sophie Rain
and
Michael Rawson
EasyChair Preprint 15785
Keyphrases
automated reasoning
,
game theory
,
Security
,
SMT solving
.
Copyright © 2012-2025 easychair.org. All rights reserved.
