Optimizations for LTL Synthesis

13 years 8 months ago

Download www-verimag.imag.fr

We present an approach to automatic synthesis of specifications given in Linear Time Logic. The approach is based on a translation through universal co-B

Barbara Jobstmann, Roderick Bloem

Real-time Traffic

Co-B¨uchi Tree Automata | FMCAD 2006 | Formal Methods | Tree Automata | Weak Tree Automata |

claim paper

» Bounded Synthesis

» Compositional Algorithms for LTL Synthesis

» A TimeOptimal OntheFly Parallel Algorithm for Model Checking of Weak LTL Properties

» Allen Linear Interval Temporal Logic Translation to LTL and Monitor Synthesis

» LTL Guided Planning Revisiting Automatic Tool Composition in ETI

» Model Checking LTL over Controllable Linear Systems Is Decidable

» Generating Optimal Linear Temporal Logic Monitors by Coinduction

» Temporal Logic with Forgettable Past

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	FMCAD
Authors	Barbara Jobstmann, Roderick Bloem

Comments (0)

Sciweavers

Optimizations for LTL Synthesis

Co-B¨uchi Tree Automata | FMCAD 2006 | Formal Methods | Tree Automata | Weak Tree Automata |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers