Belardinelli, F., Condurache, R., Dima, C., JAMROGA, W., & Knapik, M. (2021). Bisimulations for Verifying Strategic Abilities with an Application to the ThreeBallot Voting Protocol. Information and Computation, 276, 104552. doi:10.1016/j.ic.2020.104552 Peer reviewed |
JAMROGA, W., Penczek, W., & Sidoruk, T. (2021). Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them. In Proceedings of KR 2021. Peer reviewed |
JAMROGA, W., Penczek, W., & Sidoruk, T. (2021). Strategic Abilities of Asynchronous Agents: Semantic Side Effects. In Proceedings of AAMAS 2021 (pp. 1545--1547). ACM. Peer reviewed |
JAMROGA, W., RYAN, P. Y. A., Schneider, S., Schürmann, C., & Stark, P. B. (2021). A Declaration of Software Independence. In Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday (pp. 198--217). Springer. doi:10.1007/978-3-030-91631-2\_11 Peer reviewed |
JAMROGA, W. (2021). A Survey of Requirements for COVID-19 Mitigation Strategies. Part II: Elicitation of Requirements. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/45847. doi:10.24425/bpasts.2021.137724 |
JAMROGA, W., MESTEL, D., ROENNE, P., RYAN, P. Y. A., & SKROBOT, M. (2021). A Survey of Requirements for COVID-19 Mitigation Strategies. Bulletin of The Polish Academy of Sciences: Technical Science, 69 (4), 137724. doi:10.24425/bpasts.2021.137724 Peer reviewed |
Kurpiewski, D., Pazderski, W., JAMROGA, W., & KIM, Y. (2021). STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Proceedings of AAMAS (pp. 1770--1772). ACM. Peer reviewed |
JAMROGA, W., KIM, Y., Kurpiewski, D., & RYAN, P. Y. A. (2020). Towards Model Checking of Voting Protocols in Uppaal. In Proceedings of the Fifth International Joint Conference on Electronic Voting E-VOTE-ID 2020. Springer. doi:10.1007/978-3-030-60347-2_9 Peer reviewed |
JAMROGA, W., MESTEL, D., ROENNE, P., RYAN, P. Y. A., & SKROBOT, M. (2020). A Survey of Requirements for COVID-19 Mitigation Strategies. Part I: Newspaper Clips. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/46104. |
JAMROGA, W., Konikowska, B., Kurpiewski, D., & Penczek, W. (2020). Multi-valued Verification of Strategic Ability. Fundamenta Informaticae, 175 (1-4), 207-251. doi:10.3233/FI-2020-1955 Peer reviewed |
JAMROGA, W., Penczek, W., Sidoruk, T., Dembiński, P., & Mazurkiewicz, A. (2020). Towards Partial Order Reductions for Strategic Ability. Journal of Artificial Intelligence Research, 68, 817-850. doi:10.1613/jair.1.11936 Peer reviewed |
JAMROGA, W., Kurpiewski, D., & Malvone, V. (2020). Natural Strategic Abilities in Voting Protocols. In Proceedings of the 10th International Workshop on Socio-Technical Aspects in Security STAST 2020. Springer. Peer reviewed |
Niewiadomski, A., Kacprzak, M., Kurpiewski, D., Knapik, M., Penczek, W., & JAMROGA, W. (2020). MsATL: a Tool for SAT-Based ATL Satisfiability Checking. In Proceedings of 19th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2020. Peer reviewed |
Bulling, N., JAMROGA, W., & Popovici, M. (2019). Reasoning about Strategic Abilities: Agents with Truly Perfect Recall. ACM Transactions on Computational Logic, 20 (2), 10:1--10:46. doi:10.1145/3309761 Peer reviewed |
Kurpiewski, D., Knapik, M. L., & JAMROGA, W. (2019). On Domination and Control in Strategic Ability. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 197--205). IFAAMAS. Peer reviewed |
Yazdanpanah, V., Dastani, M., Alechina, N., Logan, B., & JAMROGA, W. (2019). Strategic Responsibility Under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 592--600). IFAAMAS. Peer reviewed |
JAMROGA, W., ROENNE, P., RYAN, P., & Stark, P. B. (2019). Risk-Limiting Tallies. In Electronic Voting: Proceedings of E-Vote-ID (pp. 183--199). doi:10.1007/978-3-030-30625-0\_12 Peer reviewed |
Kurpiewski, D., JAMROGA, W., & Knapik, M. L. (2019). STV: Model Checking for Strategies under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 2372--2374). IFAAMAS. Peer reviewed |
Kurpiewski, D., Knapik, M., & JAMROGA, W. (2019). On Domination and Control in Strategic Ability (Extended Abstract). In Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC). Peer reviewed |
Knapik, M., André, É., Petrucci, L., JAMROGA, W., & Penczek, W. (2019). Timed ATL: Forget Memory, Just Count. Journal of Artificial Intelligence Research, 66, 197--223. doi:10.1613/jair.1.11612 Peer reviewed |
JAMROGA, W., Malvone, V., & Murano, A. (2019). Natural Strategic Ability under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019 (pp. 962--970). IFAAMAS. Peer reviewed |
Belardinelli, F., JAMROGA, W., Kurpiewski, D., Malvone, V., & Murano, A. (2019). Strategy Logic with Simple Goals: Tractable Reasoning about Strategies. In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (pp. 88--94). doi:10.24963/ijcai.2019/13 Peer reviewed |
JAMROGA, W., & Knapik, M. (2019). Some Things are Easier for the Dumb and the Bright Ones (Beware the Average!). In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI (pp. 1734--1740). doi:10.24963/ijcai.2019/240 Peer reviewed |
JAMROGA, W., Malvone, V., & Murano, A. (2019). Natural Strategic Ability. Artificial Intelligence and Law, 277. doi:10.1016/j.artint.2019.103170 Peer reviewed |
JAMROGA, W., Knapik, M. L., Kurpiewski, D., & Mikulski, L. (2019). Approximate Verification of Strategic Abilities under Imperfect Information. Artificial Intelligence and Law, 277. doi:10.1016/j.artint.2019.103172 Peer reviewed |
TABATABAEI, M., JAMROGA, W., & RYAN, P. (2016). Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. In The International Workshop on AI for Privacy and Security (PrAISe), 2016. Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2016). Preventing Coercion in E-Voting: Be Open and Commit. In Proceedings of the 12th International Joint Conference on Electronic Voting (E-Vote-ID). doi:10.1007/978-3-319-52240-1_1 Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2016). Information Security as Strategic (In)effectivity. In 12th International Workshop on Security and Trust Management (STM), 2016. doi:10.1007/978-3-319-46598-2_11 Peer reviewed |
Bulling, N., & JAMROGA, W. (2014). Comparing variants of strategic ability: how uncertainty and memory influence general properties of games. In Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (pp. 474-518). doi:10.1007/s10458-013-9231-3 Peer reviewed |
JAMROGA, W., & TABATABAEI, M. (2013). Accumulative Knowledge Under Bounded Resources. In Computational Logic in Multi-Agent Systems (pp. 17). Berlin Heidelberg, Unknown/unspecified: Springer. Peer reviewed |
TABATABAEI, M., JAMROGA, W., & RYAN, P. (17 March 2013). Preventing Coercion in E-Voting: Be Open and Commit [Paper presentation]. 1st Workshop on Hot Issues in Security Principles and Trust. |
Goranko, V., JAMROGA, W., & TURRINI, P. (2013). Strategic games and truly playable effectivity functions. Autonomous Agents & Multi-Agent Systems, 26 (2), 288-314. doi:10.1007/s10458-012-9192-y Peer reviewed |
JAMROGA, W., MELISSEN, M., & Schnoor, H. (2013). Incentives and Rationality in Security of Interaction Protocols. In PRIMA 2013: Principles and Practice of Multi-Agent Systems. Proceedings. Peer reviewed |
JAMROGA, W., & Penczek, W. (2012). Specification and Verification of Multi-Agent Systems. In Lectures on Logic and Computation (pp. 210-263). Springer. |
JAMROGA, W., MAUW, S., & MELISSEN, M. (2012). Fairness in Non-repudiation Protocols. In Proceedings of STM 2011 (pp. 122-139). Springer. Peer reviewed |
SLAVKOVIK, M., & JAMROGA, W. (2012). Distance-Based Rules for Weighted Judgment Aggregation (Extended Abstract). Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, AAMAS2012, 1405-1406. Peer reviewed |
Goranko, V., & JAMROGA, W. (Eds.). (2012). Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems LAMAS'2012. IFAAMAS. |
Goranko, V., & JAMROGA, W. (2012). State and Path Effectivity Models for Logics of Multi-Player Games. In Proceedings of AAMAS 2012 (pp. 1123-1130). Springer. Peer reviewed |
JAMROGA, W. (2012). Concepts, Agents, and Coalitions in Alternating Time. In Proceedings of ECAI 2012 (pp. 438-443). doi:10.3233/978-1-61499-098-7-438 Peer reviewed |
JAMROGA, W., & Goranko, V. (Eds.). (2012). LAMAS 2012 Proceedings of the 5rd Workshop on Logical Aspects of Multi-Agent Systems. IFAAMAS. |
Bulling, N., & JAMROGA, W. (2011). Alternating Epistemic Mu-Calculus. In Proceedings of IJCAI-11 (pp. 109–114). Peer reviewed |
Goranko, V., JAMROGA, W., & TURRINI, P. (2011). Strategic Games and Truly Playable Effectivity Functions. In Proceedings of AAMAS2011 (pp. 727–734). Peer reviewed |
JAMROGA, W., & MELISSEN, M. (2011). Doubtful Deviations and Farsighted Play. In Progress in Artificial Intelligence, Proceedings of the 15th Portuguese Conference on Artificial Intelligence (pp. 506–520). Springer. doi:10.1007/978-3-642-24769-9\_37 Peer reviewed |
SLAVKOVIK, M., & JAMROGA, W. (2011). Distance-based Judgment Aggregation of Three-valued Judgments with Weights. In Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (pp. 81–87). Peer reviewed |
Novak, P., & JAMROGA, W. (2011). Agents, Actions and Goals in Dynamic Environments. In Proceedings of IJCAI-11 (pp. 313–318). Peer reviewed |
JAMROGA, W., & Bulling, N. (2011). Comparing Variants of Strategic Ability. In Proceedings of IJCAI-11 (pp. 252–257). Peer reviewed |
Bulling, N., Dix, J., & JAMROGA, W. (2010). Model Checking Logics of Strategic Ability: Complexity. In M. Dastani, K. Hindriks, ... J.-J. Meyer (Eds.), Specification and Verification of Multi-Agent Systems (pp. 125–159). Springer. doi:10.1007/978-1-4419-6984-2_5 Peer reviewed |
Goranko, V., JAMROGA, W., & TURRINI, P. (2010). Strategic Games and Truly Playable Effectivity Functions. Proceedings of EUMAS2010. Peer reviewed |
Bulling, N., & JAMROGA, W. (2010). Verifying Agents with Memory Is Harder than It Seemed. AI Communications, 23, 380–403. doi:10.3233/AIC-2010-0481 Peer Reviewed verified by ORBi |
Dastani, M., & JAMROGA, W. (2010). Reasoning about Strategies of Multi-Agent Programs. In Proceedings of AAMAS2010 (pp. 625–632). Peer reviewed |
Bulling, N., & JAMROGA, W. (2010). Verifying Agents with Memory Is Harder than It Seemed. In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (pp. 633–640). Peer reviewed |
Seylan, I., & JAMROGA, W. (2010). Coalition Description Logic for Individuals. Electronic Notes in Theoretical Computer Science, 262, 231–248. doi:10.1016/j.entcs.2010.04.017 Peer reviewed |
JAMROGA, W., & Bulling, N. (2010). Comparing Variants of Strategic Ability. Proceedings of EUMAS2010. Peer reviewed |
Novák, P., & JAMROGA, W. (2009). Code Patterns for Agent Oriented Programming. Proceedings of AAMAS'09, 105–112. Peer reviewed |
Bulling, N., & JAMROGA, W. (2009). Rational Play and Rational Beliefs under Uncertainty. Proceedings of AAMAS'09, 257–264. Peer reviewed |
Bulling, N., & JAMROGA, W. (2009). What agents can probably enforce. Fundamenta Informaticae, 81-96. doi:10.3233/FI-2009-0089 Peer Reviewed verified by ORBi |
Seylan, I., & JAMROGA, W. (2009). Description Logic for Coalitions. Proceedings of AAMAS'09, 425–432. Peer reviewed |
JAMROGA, W. (2009). Easy Yet Hard: Model Checking Strategies of Agents. In Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX (pp. 1–12). |