Temporal Logics with Local Constraints

Claudia CarapelleClaudia Carapelle, Markus LohreyMarkus Lohrey

ISBN: 978-3-939897-90-3
ISSN: 1868-8969
DOI Link

Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints
Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015

Details
Bibtex

KurzfassungAbstract
Recent decidability results on the satisfiability problem for temporal logics, in particular LTL, CTL* and ECTL*, with constraints over external structures like the integers with order or infinite trees are surveyed in this paper.
Projekt:Project: QuantLA
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@InProceedings{carapelle_et_al:LIPIcs:2015:5446,
  author =	{Claudia Carapelle and Markus Lohrey},
  title =	[[:Vorlage:Temporal Logics with Local Constraints (Invited Talk)]],
  booktitle =	{24th EACSL Annual Conference on Computer Science Logic (CSL 2015)},
  pages =	{2--13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-90-3},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{41},
  editor =	{Stephan Kreutzer},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/5446},
  URN =		{urn:nbn:de:0030-drops-54465},
  doi =		{http://dx.doi.org/10.4230/LIPIcs.CSL.2015.2},
  annote =	{Keywords: Temporal logics with constraints, concrete domains, LTL, CTL*, ECTL*}
}