Search Results

Documents authored by Penczek, Wojciech


Document
Complete Volume
LIPIcs, Volume 120, TIME'18, Complete Volume

Authors: Natasha Alechina, Kjetil Nørvåg, and Wojciech Penczek

Published in: LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)


Abstract
LIPIcs, Volume 120, TIME'18, Complete Volume

Cite as

25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Proceedings{alechina_et_al:LIPIcs.TIME.2018,
  title =	{{LIPIcs, Volume 120, TIME'18, Complete Volume}},
  booktitle =	{25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-089-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{120},
  editor =	{Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018},
  URN =		{urn:nbn:de:0030-drops-98443},
  doi =		{10.4230/LIPIcs.TIME.2018},
  annote =	{Keywords: Theory of computation, Logic, Information systems, Temporal data, Computing methodologies, Knowledge representation and reasoning}
}
Document
Front Matter
Front Matter, Table of Contents, Preface, Conference Organization

Authors: Natasha Alechina, Kjetil Nørvåg, and Wojciech Penczek

Published in: LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)


Abstract
Front Matter, Table of Contents, Preface, Conference Organization

Cite as

25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, pp. 0:i-0:xiv, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{alechina_et_al:LIPIcs.TIME.2018.0,
  author =	{Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
  title =	{{Front Matter, Table of Contents, Preface, Conference Organization}},
  booktitle =	{25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
  pages =	{0:i--0:xiv},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-089-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{120},
  editor =	{Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.0},
  URN =		{urn:nbn:de:0030-drops-97654},
  doi =		{10.4230/LIPIcs.TIME.2018.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
Document
Bounded Model Checking for Linear Time Temporal-Epistemic Logic

Authors: Artur Meski, Wojciech Penczek, and Maciej Szreter

Published in: OASIcs, Volume 28, 2012 Imperial College Computing Student Workshop


Abstract
We present a novel approach to the verification of multi-agent systems using bounded model checking for specifications in LTLK, a linear time temporal-epistemic logic. The method is based on binary decision diagrams rather than the standard conversion to Boolean satisfiability. We apply the approach to two classes of interpreted systems: the standard, synchronous semantics and the interleaved semantics. We provide a symbolic algorithm for the verification of LTLK over models of multi-agent systems and evaluate its implementation against MCK, a competing model checker for knowledge. Our evaluation indicates that the interleaved semantics can often be preferable in the verification of LTLK.

Cite as

Artur Meski, Wojciech Penczek, and Maciej Szreter. Bounded Model Checking for Linear Time Temporal-Epistemic Logic. In 2012 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 28, pp. 88-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@InProceedings{meski_et_al:OASIcs.ICCSW.2012.88,
  author =	{Meski, Artur and Penczek, Wojciech and Szreter, Maciej},
  title =	{{Bounded Model Checking for Linear Time Temporal-Epistemic Logic}},
  booktitle =	{2012 Imperial College Computing Student Workshop},
  pages =	{88--94},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-48-4},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{28},
  editor =	{Jones, Andrew V.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2012.88},
  URN =		{urn:nbn:de:0030-drops-37705},
  doi =		{10.4230/OASIcs.ICCSW.2012.88},
  annote =	{Keywords: model checking, multi-agent systems, temporal-epistemic logic, verification, interpreted systems}
}
Document
Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411)

Authors: Edmund M. Clarke, Ursula Goltz, Peter Niebert, and Wojciech Penczek

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Edmund M. Clarke, Ursula Goltz, Peter Niebert, and Wojciech Penczek. Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411). Dagstuhl Seminar Report 254, pp. 1-27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2000)


Copy BibTex To Clipboard

@TechReport{clarke_et_al:DagSemRep.254,
  author =	{Clarke, Edmund M. and Goltz, Ursula and Niebert, Peter and Penczek, Wojciech},
  title =	{{Temporal Logics for Distributed Systems - Paradigms and Algorithms (Dagstuhl Seminar 99411)}},
  pages =	{1--27},
  ISSN =	{1619-0203},
  year =	{2000},
  type = 	{Dagstuhl Seminar Report},
  number =	{254},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.254},
  URN =		{urn:nbn:de:0030-drops-151402},
  doi =		{10.4230/DagSemRep.254},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail