On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

DOI10.18255/1818-1015-2021-4-356-371OpenAlexW4200153695MaRDI QIDQ5870862FDOQ5870862

Authors: Anton Romanovich Gnatenko, Vladimir A. Zakharov 

Publication date: 24 January 2023

Published in: Modeling and Analysis of Information Systems (Search for Journal in Brave)

Full work available at URL: http://mathnet.ru/eng/mais757

Recommendations

• A model checker for linear time temporal logic
• On the satisfiability of indexed linear temporal logics
• Parameterised model checking for alternating-time temporal logic
• scientific article; zbMATH DE number 1701759
• Linear parametric model checking of timed automata
• Model checking linear coalgebraic temporal logics: an automata-theoretic approach
• On the complexity of model-checking branching and alternating-time temporal logics in one-counter systems
• scientific article; zbMATH DE number 6454071

zbMATH Keywords

model checkingregular languagesatisfiability checkingtemporal logicstransduceremptiness problemBuchi automata

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Cites Work

• Propositional dynamic logic of regular programs
• Relationships between nondeterministic and deterministic tape complexities
• Some Recent Results in Metric Temporal Logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Temporal logic can be more expressive
• The temporal logic of branching time
• Regular Linear Temporal Logic
• Dynamic linear time temporal logic
• An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equivalence checking problem for finite state transducers over semigroups
• On the Model Checking Problem for Some Extension of CTL*

This page was built for publication: On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5870862)