Lattice Automata
From MaRDI portal
Publication:5452607
Recommendations
- Approximating deterministic lattice automata
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- scientific article; zbMATH DE number 2094809
- Finite automata with membership values in lattices and monadic second-order lattice-valued logic
- Multi-valued automata and their applications
Cites work
- scientific article; zbMATH DE number 1670794 (Why is no real title available?)
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 1744958 (Why is no real title available?)
- scientific article; zbMATH DE number 2102712 (Why is no real title available?)
- scientific article; zbMATH DE number 7354705 (Why is no real title available?)
- Alternating finite automata on \(\omega\)-words
- An automata-theoretic approach to branching-time model checking
- Nondeterministic Space is Closed under Complementation
- On model checking multiple hybrid views
- Reasoning about infinite computations
- Theories of automata on \(\omega\)-tapes: a simplified approach
- Weak alternating automata are not that weak
Cited in
(50)- Vacuity in practice: temporal antecedent failure
- On Omega-Languages Defined by Mean-Payoff Conditions
- Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification
- Computing power of Turing machines in the framework of unsharp quantum logic
- Measuring and synthesizing systems in probabilistic environments
- Lattice-valued general orthomodular automata
- Weighted LTL with discounting
- Fuzzy alternating Büchi automata over distributive lattices
- Closure properties and complexity of rational sets of regular languages
- Simulation for lattice-valued doubly labeled transition systems
- Inherent vacuity in lattice automata
- Multi-valued automata and their applications
- scientific article; zbMATH DE number 1484314 (Why is no real title available?)
- Weighted automata and weighted MSO logics for average and long-time behaviors
- Weighted linear dynamic logic
- Bisimulations for fuzzy automata
- Fuzzy alternating automata over distributive lattices
- A Weighted μ-Calculus on Words
- Temporal specifications with accumulative values
- Learning and characterizing fully-ordered lattice automata
- Nondeterministic Moore automata and Brzozowski's minimization algorithm
- Synthesis from component libraries with costs
- Minimizing GFG Transition-Based Automata
- Equilibrium in two-player stochastic games with shift-invariant payoffs
- Model checking computation tree logic over finite lattices
- Parameterized model checking of weighted networks
- Linear-time logics -- a coalgebraic perspective
- Regular Expressions on Average and in the Long Run
- Latticed Simulation Relations and Games
- Weighted automata and multi-valued logics over arbitrary bounded lattices
- Adding pebbles to weighted automata: easy specification \& efficient evaluation
- TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS
- Latticed-LTL synthesis in the presence of noisy inputs
- Model Checking for Action Abstraction
- Automata-based axiom pinpointing
- Minimizing deterministic lattice automata
- The complexity of computing the behaviour of lattice automata on infinite trees
- Beyond vacuity: towards the strongest passing formula
- Model checking of linear-time properties in multi-valued systems
- Algebraic presentation of semifree monads
- On weighted first-order logics with discounting
- Multi-Valued Reasoning about Reactive Systems
- Weighted Linear Dynamic Logic
- Nondeterministic fuzzy automata with membership values in complete residuated lattices
- Approximating deterministic lattice automata
- Weighted automata
- Lattice-valued fuzzy Turing machines: computing power, universality and efficiency
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- scientific article; zbMATH DE number 7577580 (Why is no real title available?)
- Construction of fuzzy automata from fuzzy regular expressions
This page was built for publication: Lattice Automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452607)
