Latticed simulation relations and games

DOI10.1142/S0129054110007192MaRDI QIDQ3552519zbMATH OpenOpenAlexFDO

Authors Orna Kupferman, Yoad Lustig

Publication date 22 April 2010

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054110007192

zbMATH Keywords

latticed Kripke structureslatticed two-player games

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) 2-person games (91A05) Applications of game theory (91A80)

Recommendations

• Latticed Simulation Relations and Games
• Automated Technology for Verification and Analysis
• Multi-valued model checking games
• scientific article; zbMATH DE number 2042616
• Quantitative analysis of lattice-valued Kripke structures

Cites work

• Fair simulation
• scientific article; zbMATH DE number 1775515 (Why is no real title available?)
• Results on the propositional \(\mu\)-calculus

Cited in

(16)

• Bisimulations for fuzzy transition systems revisited
• Latticed-LTL synthesis in the presence of noisy inputs
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• Approximate bisimulation relations for fuzzy automata
• A lattice-theoretic approach to a class of dynamic games
• Simulation for lattice-valued doubly labeled transition systems
• Latticed Simulation Relations and Games
• Simulation Relations for Alternating Parity Automata and Parity Games
• Multi-valued model checking games
• scientific article; zbMATH DE number 6864542 (Why is no real title available?)
• Quantitative analysis of lattice-valued Kripke structures
• Automated Technology for Verification and Analysis
• Minimizing deterministic lattice automata
• Convex lattice equation systems
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• PAWS: a tool for the analysis of weighted systems

This page was built for publication: Latticed simulation relations and games

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