Profil

JAMROGA Wojciech

Main Referenced Co-authors
Kurpiewski, Damian (10)
Bulling, N. (8)
Penczek, Wojciech (7)
RYAN, Peter Y A  (7)
TABATABAEI, Masoud  (5)
Main Referenced Keywords
Alternating-time Temporal Logic (1); Alternating-time temporal logic (1); coercion resistanc (1); Covid-19 (1); electronic voting (1);
Main Referenced Unit & Research Centers
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA) (7)
Main Referenced Disciplines
Computer science (58)

Publications (total 58)

The most downloaded
337 downloads
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 https://hdl.handle.net/10993/25344

The most cited

67 citations (Scopus®)

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 https://hdl.handle.net/10993/25344

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. In Proceedings of AAMAS 2021 (pp. 1545--1547). ACM.
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. (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., 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., 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., 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

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.

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

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

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

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., 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

JAMROGA, W., Malvone, V., & Murano, A. (2019). Natural Strategic Ability. Artificial Intelligence and Law, 277. doi:10.1016/j.artint.2019.103170
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. (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.

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

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

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.

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., & 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

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

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

Seylan, I., & JAMROGA, W. (2009). Description Logic for Coalitions. Proceedings of AAMAS'09, 425–432.
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

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).

Contact ORBilu