£58.00

It has never been this cheap. We have no record of a lower price.

£58 today · cheaper than every other day in the last 3 months

VDM Verlag Simulation-Based Simplification of omega-Automata: Using Simulation Relations for the Simplification of Alternating and Parity Automata

View at Amazon

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 36 days · 36 data points (no recent data)

Historical
Generating forecast…
£58.00 £55.10 £56.26 £57.42 £58.58 £59.74 £60.90 11 August 2026 19 August 2026 28 August 2026 06 September 2026 15 September 2026
View at Amazon ↗

Price data last checked 55 day(s) ago - refreshing...

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↑ Price chart
when this has been cheap or pricey
↑ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price Distribution

Price distribution over 36 days • 1 price levels

Days at Price
36 days 0 9 18 27 36 £58 Days at Price

Price Analysis

Most common price: £58 (36 days, 100.0%)

Price range: £58 - £58

Price levels: 1 different prices over 36 days

Description

We analyze simulation relations as heuristics for the simplification of omega-automata, i.e., of finite automata working on infinite strings. Our focus is on alternating omega-automata, especially automata resulting from LTL formulas, as is important in model checking. We introduce direct, delayed, and fair simulation for alternating Büchi automata (ABA), and simulation quotient constructions for ABA. Our simulations are compatible with the standard translation of ABA to non-alternating automata. We apply these results to translating formulas of propositional LTL to nondeterministic automata. We develop a translation algorithm from LTL to nondeterministic automata with an on-the-fly use of simulation relations for simplification, and we compare our approach to tableau-based translation algorithms. We extend our notion of delayed simulation to alternating parity automata (APA), introduce variants of this relation suited for quotienting of APA, and develop a simulation-based simplification algorithm for APA. We give a sketch of how to apply these results to a fragment of the modal mu- calculus. This book is suited for students and researchers interested in the automata theory of LTL.

Product Specifications

Format
paperback
Domain
Amazon UK
Publication Date
21 October 2013
Listed Since
01 May 2008

Barcode

No barcode data available

Similar Products You Might Like

Weighted Automata, Formal Power Series and Weighted Logic (BestMasters)
80% match

Weighted Automata, Formal Power Series and Weighted Logic (BestMasters)

Springer Spektrum

£41.43 16 Oct 2026
Algebraic Theory of Automata Networks: A Introduction: An Introduction (Monographs on Discrete Mathematics and Applications)
79% match

Algebraic Theory of Automata Networks: A Introduction: An Introduction (Monographs on Discrete Mathematics and Applications)

Society for Industrial and Applied Mathematics (SIAM)

£103.28 30 Aug 2026
Synthesis of Finite State Machines: Functional Optimization
79% match

Synthesis of Finite State Machines: Functional Optimization

Springer

£109.07 21 Oct 2026
Synthesis of Finite State Machines: Logic Optimization
78% match

Synthesis of Finite State Machines: Logic Optimization

Springer

£76.42 23 Oct 2026
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)
78% match

Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)

Springer

£84.46 16 Oct 2026
Symbolic Simulation Methods for Industrial Formal Verification
78% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£74.77 23 Oct 2026
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
78% match

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)

Princeton University Press

£67.50 15 Oct 2026
The Unknown Component Problem: Theory and Applications
78% match

The Unknown Component Problem: Theory and Applications

Springer

£110.46 21 Oct 2026
Networks of Learning Automata: Techniques for Online Stochastic Optimization
77% match

Networks of Learning Automata: Techniques for Online Stochastic Optimization

Springer

£77.22 15 Oct 2026
Techniques for Searching, Parsing, and Matching
77% match

Techniques for Searching, Parsing, and Matching

Springer

£66.68 24 Oct 2026
Logic Synthesis for Control Automata
77% match

Logic Synthesis for Control Automata

Springer

£113.93 30 Aug 2026
Regulated Grammars and Automata
77% match

Regulated Grammars and Automata

Springer

£77.49 15 Oct 2026
Reaction-Diffusion Automata: Phenomenology, Localisations, Computation: 1 (Emergence, Complexity and Computation, 1)
77% match

Reaction-Diffusion Automata: Phenomenology, Localisations, Computation: 1 (Emergence, Complexity and Computation, 1)

Springer

£108.01 14 Sep 2026
Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)
77% match

Automata, Universality, Computation: Tribute to Maurice Margenstern: 12 (Emergence, Complexity and Computation, 12)

Springer

£76.42 28 Oct 2026
Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges: 113 (Studies in Systems, Decision and Control, 113)
77% match

Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges: 113 (Studies in Systems, Decision and Control, 113)

Springer

£74.82 24 Oct 2026
Representation Theorems in Computer Science: A Treatment in Logic Engineering
76% match

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Springer

£74.36 24 Oct 2026
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
76% match

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Springer

£73.14 23 Oct 2026
Advances in Intelligent Modelling and Simulation: Simulation Tools and Applications: 416 (Studies in Computational Intelligence, 416)
76% match

Advances in Intelligent Modelling and Simulation: Simulation Tools and Applications: 416 (Studies in Computational Intelligence, 416)

Springer

£111.67 24 Oct 2026
Fuzzy Semirings with Applications to Automata Theory: 278 (Studies in Fuzziness and Soft Computing, 278)
76% match

Fuzzy Semirings with Applications to Automata Theory: 278 (Studies in Fuzziness and Soft Computing, 278)

Springer

£75.68 27 Oct 2026
An Introduction to Formal Languages and Machine Computation
76% match

An Introduction to Formal Languages and Machine Computation

Scientific Publishing

£68.00 12 Sep 2026
Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets
76% match

Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets

Springer

£87.49 24 Oct 2026
The Formal Semantics of Programming Languages: An Introduction
76% match

The Formal Semantics of Programming Languages: An Introduction

MIT Press

£35.98 15 Oct 2026
Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)
76% match

Comparative Metric Semantics of Programming Languages: Nondeterminism and Recursion (Progress in Theoretical Computer Science)

Birkhauser

£75.76 22 Oct 2026
From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)
76% match

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology: 335 (Studies in Computational Intelligence, 335)

Springer

£94.89 29 Aug 2026