Login / Signup
Marcin Szamotulski
ORCID
Publication Activity (10 Years)
Years Active: 2010-2020
Publications (10 Years): 1
Top Topics
Provably Correct
Model Checker
Practical Experience
Temporal Properties
Top Venues
TFP
</>
Publications
</>
Philipp Kant
,
Kevin Hammond
,
Duncan Coutts
,
James Chapman
,
Nicholas Clarke
,
Jared Corduan
,
Neil Davies
,
Javier Díaz
,
Matthias Güdemann
,
Wolfgang Jeltsch
,
Marcin Szamotulski
,
Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods.
TFP
(2020)
Tomasz P. Michalak
,
Talal Rahwan
,
Dorota Marciniak
,
Marcin Szamotulski
,
Nicholas R. Jennings
Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities.
ECAI
(2010)
Tomasz P. Michalak
,
Dorota Marciniak
,
Marcin Szamotulski
,
Talal Rahwan
,
Michael J. Wooldridge
,
Peter McBurney
,
Nicholas R. Jennings
A logic-based representation for coalitional games with externalities.
AAMAS
(2010)