From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Javier Esparza; Jan Křetínský; Jean-François Raskin; Salomon Sickert

doi:10.1007/s10009-022-00663-1

ScienceGate Book Chapters

JOURNAL ARTICLE

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Javier Esparza Jan Křetínský Jean-François Raskin Salomon Sickert

Year: 2022 Journal: International Journal on Software Tools for Technology Transfer Vol: 24 (4)Pages: 635-659 Publisher: Springer Science+Business Media

DOI: 10.1007/s10009-022-00663-1

Get Full-Text PDF Get Analytical Report

Keywords:

Linear temporal logic Automaton Computer science Theory of computation Exponential function Algorithm Limit (mathematics) Theoretical computer science Discrete mathematics Mathematics

Metrics

Cited By

1.58

FWCI (Field Weighted Citation Impact)

Refs

0.76

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Synthetic Organic Chemistry Methods

Physical Sciences → Chemistry → Organic Chemistry

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata

Metrics

Citation History

Topics

Related Documents

Limit-Deterministic Büchi Automata for Linear Temporal Logic

From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata

Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata

Complementing Semi-deterministic Büchi Automata

Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata