共 50 条
- [31] Automated Game-Theoretic Verification of Security Systems [J]. QUANTITATIVE EVALUATION OF SYSTEMS (QEST 2019), 2019, 11785 : 239 - 256
- [32] CHECKMATE: Automated Game-Theoretic Security Reasoning [J]. PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023, 2023, : 1407 - 1421
- [33] Ex-ante versus ex-post regulation in the German railway sector [J]. TRENDS IN INFRASTRUCTURE REGULATION AND FINANCING: INTERNATIONAL EXPERIENCE AND CASE STUDIES FROM GERMANY, 2004, : 123 - 136
- [36] GAME-THEORETIC INTERPRETATION OF SELECTED AUDIT REPORT DECISIONS [J]. OPERATIONS RESEARCH, 1975, 23 : B393 - B393
- [37] Ex-Ante Regulation and Ex-Post Liability under Uncertainty and Irreversibility: Governing the Coexistence of GM Crops [J]. ECONOMICS-THE OPEN ACCESS OPEN-ASSESSMENT E-JOURNAL, 2010, 4
- [39] Optimization of Investment Planning Based on Game-Theoretic Approach [J]. EKONOMIKA REGIONA-ECONOMY OF REGION, 2018, 14 (01): : 270 - 280