Image de couverture de livre

Model Checking Linear Temporal Logic with Standpoint Modalities

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Aghamov, Rajab, Baier, Christel, Karimov, Toghrul, Majumdar, Rupak, Ouaknine, Joël, Piribauer, Jakob, Spork, Timm
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Model Checking Markov Chains as Distribution Transformers
par: Aghamov, Rajab, et autres
Publié: (2024)

Linear dynamical systems with continuous weight functions
par: Aghamov, Rajab, et autres
Publié: (2024)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
par: Spork, Timm, et autres
Publié: (2025)

A Spectrum of Approximate Probabilistic Bisimulations
par: Spork, Timm, et autres
Publié: (2024)

Multiple Reachability in Linear Dynamical Systems
par: Karimov, Toghrul, et autres
Publié: (2024)

Positivity-hardness results on Markov decision processes
par: Piribauer, Jakob, et autres
Publié: (2023)

Risk-averse optimization of total rewards in Markovian models using deviation measures
par: Baier, Christel, et autres
Publié: (2024)

Foundations of probability-raising causality in Markov decision processes
par: Baier, Christel, et autres
Publié: (2022)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
par: Karimov, Toghrul
Publié: (2024)

Multiplicative Rewards in Markovian Models
par: Baier, Christel, et autres
Publié: (2025)

The Monadic Theory of Toric Words
par: Berthé, Valérie, et autres
Publié: (2023)

On the Decidability of Presburger Arithmetic Expanded with Powers
par: Karimov, Toghrul, et autres
Publié: (2024)

The Modal Logic of Abstraction Refinement
par: Piribauer, Jakob, et autres
Publié: (2026)

Formal Quality Measures for Predictors in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
par: Aghamov, Rajab, et autres
Publié: (2025)

On the Decidability of Monadic Theories of Arithmetic Predicates
par: Berthé, Valérie, et autres
Publié: (2024)

Demonic variance and a non-determinism score for Markov decision processes
par: Piribauer, Jakob
Publié: (2024)

Automata on $S$-adic words
par: Berthé, Valérie, et autres
Publié: (2025)

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2024)

Sound and Complete Proof Rules for Probabilistic Termination
par: Majumdar, Rupak, et autres
Publié: (2024)

Computational Complexity of Standpoint LTL
par: Demri, Stéphane, et autres
Publié: (2024)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

Termination Analysis of Linear-Constraint Programs
par: Ben-Amram, Amir M., et autres
Publié: (2025)

On the Complexity of the Skolem Problem at Low Orders
par: Bacik, Piotr, et autres
Publié: (2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

The 2-Dimensional Constraint Loop Problem is Decidable
par: Guilmant, Quentin, et autres
Publié: (2024)

Model Checking Matrix Product States against Linear Chain Logic
par: Xu, Ming, et autres
Publié: (2026)

Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes
par: Baier, Christel, et autres
Publié: (2025)

Decidability of Quantum Modal Logic
par: Tokuo, Kenji
Publié: (2026)

Linear Temporal Justification Logics with Past Operators
par: Ghari, Meghdad
Publié: (2018)

On-the-fly Unfolding with Optimal Exploration for Linear Temporal Logic Model Checking of Concurrent Software and Systems
par: Li, Shuo, et autres
Publié: (2023)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking
par: Tulcan, Radu-Florin, et autres
Publié: (2026)

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)