4 Search Results for "Pnueli, Amir"

Document
Invited Talk
DOI: 10.4230/LIPIcs.TIME.2022.1
Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk)

Authors: Moshe Y. Vardi

Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)

Abstract
Linear Temporal Logic (LTL), proposed in 1977 by Amir Pnueli for reasoning about ongoing programs, was defined over infinite traces. The motivation for this was the desire to model arbitrarily long computations. While this approach has been highly successful in the context of model checking, it has been less successful in the context of reactive synthesis, due to the chalenging algorithmics of infinite-horizon temporal synthesis. In this talk we show that focusing on finite-horizon temporal synthesis offers enough algorithmic advantages to compensate for the loss in expressiveness. In fact, finite-horizon reasonings is useful even in the context of infinite-horizon applications.
Cite as

Moshe Y. Vardi. Linear Temporal Logic: From Infinite to Finite Horizon (Invited Talk). In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, p. 1:1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)

Copy BibTex To Clipboard

@InProceedings{vardi:LIPIcs.TIME.2022.1,
  author =	{Vardi, Moshe Y.},
  title =	{{Linear Temporal Logic: From Infinite to Finite Horizon}},
  booktitle =	{29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
  pages =	{1:1--1:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-262-4},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{247},
  editor =	{Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.1},
  URN =		{urn:nbn:de:0030-drops-172481},
  doi =		{10.4230/LIPIcs.TIME.2022.1},
  annote =	{Keywords: Temporal Logic}
}
Document
DOI: 10.4230/DagSemRep.401
Applied Deductive Verification (Dagstuhl Seminar 03451)

Authors: David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli

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

Abstract
Cite as

David Basin, Harald Ganzinger, John R. Harrison, and Amir Pnueli. Applied Deductive Verification (Dagstuhl Seminar 03451). Dagstuhl Seminar Report 401, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{basin_et_al:DagSemRep.401,
  author =	{Basin, David and Ganzinger, Harald and Harrison, John R. and Pnueli, Amir},
  title =	{{Applied Deductive Verification (Dagstuhl Seminar 03451)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{401},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.401},
  URN =		{urn:nbn:de:0030-drops-152813},
  doi =		{10.4230/DagSemRep.401},
}
Document
DOI: 10.4230/DagSemRep.266
Specification of Distributed Information Systems (Dagstuhl Seminar 00081)

Authors: Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli

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

Abstract
Cite as

Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli. Specification of Distributed Information Systems (Dagstuhl Seminar 00081). Dagstuhl Seminar Report 266, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)

Copy BibTex To Clipboard

@TechReport{ehrich_et_al:DagSemRep.266,
  author =	{Ehrich, Hans-Dieter and Goltz, Ursula and Meseguer, Jos\'{e} and Pnueli, Amir},
  title =	{{Specification of Distributed Information Systems (Dagstuhl Seminar 00081)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{266},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.266},
  URN =		{urn:nbn:de:0030-drops-151515},
  doi =		{10.4230/DagSemRep.266},
}
Document
DOI: 10.4230/DagSemRep.104
Synchronous Languages (Dagstuhl Seminar 9448)

Authors: Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli

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

Abstract
Cite as

Gérard Berry, Willem-Paul de Roever, Axel Poigné, and Amir Pnueli. Synchronous Languages (Dagstuhl Seminar 9448). Dagstuhl Seminar Report 104, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)

Copy BibTex To Clipboard

@TechReport{berry_et_al:DagSemRep.104,
  author =	{Berry, G\'{e}rard and de Roever, Willem-Paul and Poign\'{e}, Axel and Pnueli, Amir},
  title =	{{Synchronous Languages (Dagstuhl Seminar 9448)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{104},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.104},
  URN =		{urn:nbn:de:0030-drops-149924},
  doi =		{10.4230/DagSemRep.104},
}
  • Refine by Author
  • 3 Pnueli, Amir
  • 1 Basin, David
  • 1 Berry, Gérard
  • 1 Ehrich, Hans-Dieter
  • 1 Ganzinger, Harald
  • Show More...

  • Refine by Classification
  • 1 Theory of computation → Modal and temporal logics

  • Refine by Keyword
  • 1 Temporal Logic

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 1 1995
  • 1 2001
  • 1 2003
  • 1 2022

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact