2021
DOI: 10.1109/access.2021.3057823
|View full text |Cite
|
Sign up to set email alerts
|

BeBoSy: Behavior Examples Meet Bounded Synthesis

Abstract: 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 the specification of the desired state machine. In this work we show how to incorporate behavior examples into bounded synthesis methods and exemplify the approach by presenting BeBoSy (Behavior Examples meet BoSy),… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(2 citation statements)
references
References 24 publications
0
2
0
Order By: Relevance
“…BeH 2 has been a popular testing molecule in multiple pieces of literature proposing ground-state VQE implementations. , Thus, we chose the colinear gaseous form with Be–H bond length at 1.3264 Å as a target system to demonstrate the possibility of optimizing basis sets for ground-state VQE computation of molecular systems. We optimized the exponent and contraction coefficients to arrive at an atom-centered optimized STO-3G (STO-3G-ECopt).…”
Section: Example Ii: Preparing the Initial State For Ground-state Vqe...mentioning
confidence: 99%
“…BeH 2 has been a popular testing molecule in multiple pieces of literature proposing ground-state VQE implementations. , Thus, we chose the colinear gaseous form with Be–H bond length at 1.3264 Å as a target system to demonstrate the possibility of optimizing basis sets for ground-state VQE computation of molecular systems. We optimized the exponent and contraction coefficients to arrive at an atom-centered optimized STO-3G (STO-3G-ECopt).…”
Section: Example Ii: Preparing the Initial State For Ground-state Vqe...mentioning
confidence: 99%
“…More recently, the development of emerging quantum chemical calculations (QCC) methods has further amplified the significance of large-scale exact FCI. The advent of noisy intermediate-scale quantum computers has driven the development of quantum computing-based methods such as the variational quantum eigensolver (VQE) and quantum Monte Carlo (QMC). These methods have demonstrated superior accuracy compared to traditional QCC methods, such as coupled-cluster singles and doubles with perturbative triples [CCSD­(T)] in some cases. However, the exact FCI energies necessary for their accuracy evaluation are lacking, even for relatively large molecules such as C 3 H 6 /STO-3G …”
Section: Introductionmentioning
confidence: 99%