BeBoSy: Behavior Examples Meet Bounded Synthesis

BeBoSy: Behavior Examples Meet Bounded Synthesis

Bounded synthesis generates a state machine satisfying given temporal specification in linear temporal logic (LTL) while bounding the number of states of the target solution. Bounded synthesis methods currently do not support finite-length behavior examples, which are often helpful when formulating...

Full description

Bibliographic Details
Main Authors: Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
Format: Article
Language:English
Published: IEEE 2021-01-01
Series:IEEE Access
Subjects:
Bounded synthesis
LTL synthesis
inference algorithms
Boolean satisfiability
quantified Boolean formula
Online Access:https://ieeexplore.ieee.org/document/9350261/

Internet

https://ieeexplore.ieee.org/document/9350261/

Similar Items