Search
 
loader loading subjects...
cover
Multi-Valued Automata and Their Applications
Orna Kupferman
179 - 194
10.3233/978-1-60750-100-8-179
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 25: Logics and Languages for Reliability and Security
Abstract

Standard automata accept or reject input words. Accordingly, an automaton induces a mapping from Σ* to the binary set {true,false}. The course will introduce multi-valued automata, which induce mappings from Σ* to richer sets of values. We will focus on lattice automata, which map input words to values from a lattice, and weighted automata, which map input words to (the set of real numbers). We describe applications of lattice automata in abstraction and model checking of multi-valued logics, and describe applications of weighted automata in the competitive analysis of online algorithms.

$35.00 / €27.50 / £22.00
Add PDF to cart