Mika Cohen

20 papers A* 2A 2B 3C 2Misc 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
Anti-Submarine Warfare Planning Using Public Belief States and Self-Play.
ICMLA
Christoffer Limér, Joel Brynielsson, Mika Cohen, Felix Rydell
2025 — conf
Outsmarting Willful-Thinking Opponents: Bayesian Belief Revision for Adversarial Reasoning in Large Language Models.
ASONAM (3)
Madeleine Lindström, Joel Brynielsson, Mika Cohen, Farzad Kamrani, Samuel Lavebrink, Christoffer Limér, Marius Vangeli
2025 — conf
Strategic Steering of Large Language Models via Game-Theoretic Action Space Optimization.
ASONAM (3)
Samuel Lavebrink, Joel Brynielsson, Mika Cohen, Farzad Kamrani, Christoffer Limér, Madeleine Lindström, Marius Vangeli
2023 B conf
Comparison of Strategies for Honeypot Deployment.
ASONAM
Joel Brynielsson, Mika Cohen, Patrik Hansen, Samuel Lavebrink, Madeleine Lindström, Edward Tjörnhammar
2020 C conf
MarioDAgger: A Time and Space Efficient Autonomous Driver.
ICMLA
Farzad Kamrani, Andreas Elers, Mika Cohen, Amir Hossein Payberah
2018 J jnl
What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development.
Softw. Syst. Model.
Ulrik Franke, Mika Cohen, Johan Sigholm
2015 J jnl
An experiment in ontology use for command and control interoperability.
Autom. Softw. Eng.
Mika Cohen, Ulrik Franke
2015 — conf
Enterprise Architecture with Executable Modelling Rules: A Case Study at the Swedish Defence Materiel Administration.
CAiSE Workshops
Mika Cohen, Michael Minock, Daniel Oskarsson, Björn Pelzer
2015 B conf
Natural Language Specification and Violation Reporting of Business Rules over ER-modeled Databases.
EDBT
Michael Minock, Daniel Oskarsson, Björn Pelzer, Mika Cohen
2014 Misc conf
Simulation Preorder Semantics for Traceability Relations in Enterprise Architecture.
PoEM
Mika Cohen
2013 — conf
Semantics for Mapping Relations in SKOS.
RR
Mika Cohen
2012 — conf
First steps towards a context aware ontology-driven reporting system.
I-SEMANTICS
Mika Cohen, Andreas Horndahl, Christian Mårtenson
2010 A conf
Model checking detectability of attacks in multiagent systems.
AAMAS
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2010 A conf
Non-elementary speed up for model checking synchronous perfect recall.
ECAI
Mika Cohen, Alessio Lomuscio
2009 B conf
A Data Symmetry Reduction Technique for Temporal-epistemic Logic.
ATVA
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009 A* conf
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.
IJCAI
Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu
2009 — conf
Abstraction in model checking multi-agent systems.
AAMAS (2)
Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo
2009 J jnl
Automatic verification of temporal-epistemic properties of cryptographic protocols.
J. Appl. Non Class. Logics
Ioana Boureanu, Mika Cohen, Alessio Lomuscio
2007 A* conf
A Complete Axiomatization of Knowledge and Cryptography.
LICS
Mika Cohen, Mads Dam
2007 — —
Logics of Knowledge and Cryptography : Completeness and Expressiveness.
Mika Cohen