Algoritmer för beräkning av spelteoretiska lösningar har nyligen tillämpats på ett antal säkerhetsdomäner. Men många av de tekniker som utvecklats för kompakta representationer av säkerhetsspel inte sträcker sig till Bayesian säkerhet spel, som gör att vi kan modellera osäkerhet om angriparens typ. I det här dokumentet introducerar vi en allmän ram av catcher-evader spel som kan fånga Bayesianska säkerhetsspel samt andra spelfamiljer av intresse. Vi visar att datorer Stackelberg strategier är NP-hård, men ge en algoritm för att beräkna en Nash jämvikt som fungerar bra i experiment. Vi bevisar också att Nash equilibria av dessa spel uppfyller utbytbarhet egenskap, så att jämvikt val är inte ett problem.
REF studerade Bayesian Stackelberg Games, där det finns ytterligare osäkerhet om angriparen och visar att beräkning av Stackelberg jämvikt är svårt, och införa en exponentiell tid algoritm för att beräkna Nash equilibria.
Catcher-Evader Games
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science', 'Mathematics']}