scientific article; zbMATH DE number 7440225
From MaRDI portal
Publication:5015397
zbMath1483.68210arXiv1606.08815MaRDI QIDQ5015397
M. K. Patra, Ron van der Meyden
Publication date: 7 December 2021
Full work available at URL: https://arxiv.org/abs/1606.08815
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Uses Software
Cites Work
- Reachability problems for Markov chains
- Complete axiomatizations for reasoning about knowledge and branching time
- A logic for reasoning about probabilities
- Weak Second‐Order Arithmetic and Finite Automata
- A Logic of Probability with Decidable Model Checking
- Communication Theory of Secrecy Systems*
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Reasoning about knowledge and probability
- Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
- Computer Aided Verification
- Positivity Problems for Low-Order Linear Recurrence Sequences
- Model Checking Knowledge and Linear Time: PSPACE Cases
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
