Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Linear Temporal Logic for Regular Cost Functions - MaRDI portal

Linear Temporal Logic for Regular Cost Functions

From MaRDI portal

Publication:5404469

Jump to:navigation, search

DOI10.2168/LMCS-10(1:4)2014zbMath1325.68131MaRDI QIDQ5404469

Denis Kuperberg

Publication date: 24 March 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

cost functions LTL aperiodic syntactic congruence cost automata stabilization semigroup

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Temporal logic (03B44)

Related Items (3)

A survey on the local divisor technique ⋮ Positive First-order Logic on Words and Graphs ⋮ Quantifying Bounds in Strategy Logic

This page was built for publication: Linear Temporal Logic for Regular Cost Functions

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5404469&oldid=20142184"