The following pages link to (Q3536079):
Displaying 12 items.
- Automata-based axiom pinpointing (Q707741) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- Model checking of linear-time properties in multi-valued systems (Q2282319) (← links)
- The complexity of computing the behaviour of lattice automata on infinite trees (Q2447756) (← links)
- Temporal Specifications with Accumulative Values (Q2946736) (← links)
- A Weighted μ-Calculus on Words (Q3637241) (← links)
- (Q5015275) (← links)
- Weighted Automata and Weighted Logics (Q5072547) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← links)
- Modelling Uncertainty in Architectures of Parametric Component-Based Systems (Q6072401) (← links)
- Fuzzy Propositional Configuration Logics (Q6072402) (← links)
- Weighted Linear Dynamic Logic (Q6154979) (← links)
