IEEE - Institute of Electrical and Electronics Engineers, Inc. - Safety first: A two-stage algorithm for LTL games

2009 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Sohail, S. ; Somenzi, F.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Austin, TX, USA, USA
Conference Date: 15 November 2009
Page(s): 77 - 84
ISBN (CD): 978-1-4244-4966-8
DOI: 10.1109/FMCAD.2009.5351138
Regular:

In the game theoretic approach to the synthesis of reactive systems, specifications are often given as a conjunction of linear time properties. An implementation can be obtained from a winning... View More

Advertisement