Weighted modal transition systems

DOI10.1007/s10703-012-0178-9zbMath1291.68246arXiv1210.5659MaRDI QIDQ2248057

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus Thrane, Line Juhl, Kim Guldstrand Larsen

Publication date: 30 June 2014

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.5659

zbMATH Keywords

quantitative reasoning; modal specification; reducing complexity of design

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

General quantitative specification theories with modal transition systems, Compositionality for quantitative specifications, Computing branching distances with quantitative games, A linear-time-branching-time spectrum for behavioral specification theories, A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories

Cites Work

• Modal transition systems with weight intervals
• Metrics for weighted transition systems: axiomatization and complexity
• Metrics for labelled Markov processes
• Quantitative analysis of weighted transition systems
• Simulation distances
• Handbook of weighted automata
• Weighted automata and weighted logics with discounting
• Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embedding
• The complexity of stochastic games
• Weighted automata and weighted logics
• Expressiveness and Closure Properties for Quantitative Languages
• Algorithms for Game Metrics
• Extending modal transition systems with structured labels
• Timed I/O automata
• Quantitative Refinement for Weighted Modal Transition Systems
• Modal Transition Systems: Composition and LTL Model Checking
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Game Refinement Relations and Metrics
• Metric spaces, generalized logic, and closed categories
• Synchronous and Bidirectional Component Interfaces
• Origins of bisimulation and coinduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item