Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386987730> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4386987730 endingPage "784" @default.
- W4386987730 startingPage "771" @default.
- W4386987730 abstract "Weighted automata is a basic tool for specification in quantitative verification, which allows to express quantitative features of analysed systems such as resource consumption. Quantitative specification can be assisted by automata learning as there are classic results on Angluin-style learning of weighted automata. The existing work assumes perfect information about the values returned by the target weighted automaton. In assisted synthesis of a quantitative specification, knowledge of the exact values is a strong assumption and may be infeasible. In our work, we address this issue by introducing a new framework of partially-observable deterministic weighted automata, in which weighted automata return intervals containing the computed values of words instead of the exact values. We study the basic properties of this framework with the particular focus on the challenges of active learning partially-observable deterministic weighted automata." @default.
- W4386987730 created "2023-09-24" @default.
- W4386987730 creator A5015610041 @default.
- W4386987730 creator A5089075636 @default.
- W4386987730 date "2023-01-01" @default.
- W4386987730 modified "2023-10-18" @default.
- W4386987730 title "Deterministic Weighted Automata Under Partial Observability" @default.
- W4386987730 cites W1643571618 @default.
- W4386987730 cites W170628993 @default.
- W4386987730 cites W1989445634 @default.
- W4386987730 cites W2032100464 @default.
- W4386987730 cites W2050570613 @default.
- W4386987730 cites W2294334272 @default.
- W4386987730 cites W2771837048 @default.
- W4386987730 cites W2912640545 @default.
- W4386987730 cites W3104838059 @default.
- W4386987730 cites W3192963477 @default.
- W4386987730 cites W4220776705 @default.
- W4386987730 cites W4230259954 @default.
- W4386987730 cites W4244515980 @default.
- W4386987730 cites W43626140 @default.
- W4386987730 cites W852087202 @default.
- W4386987730 doi "https://doi.org/10.1007/978-3-031-43619-2_52" @default.
- W4386987730 hasPublicationYear "2023" @default.
- W4386987730 type Work @default.
- W4386987730 citedByCount "0" @default.
- W4386987730 crossrefType "book-chapter" @default.
- W4386987730 hasAuthorship W4386987730A5015610041 @default.
- W4386987730 hasAuthorship W4386987730A5089075636 @default.
- W4386987730 hasConcept C112505250 @default.
- W4386987730 hasConcept C11413529 @default.
- W4386987730 hasConcept C116248031 @default.
- W4386987730 hasConcept C120665830 @default.
- W4386987730 hasConcept C121332964 @default.
- W4386987730 hasConcept C154945302 @default.
- W4386987730 hasConcept C192209626 @default.
- W4386987730 hasConcept C2776807809 @default.
- W4386987730 hasConcept C28826006 @default.
- W4386987730 hasConcept C32848918 @default.
- W4386987730 hasConcept C33923547 @default.
- W4386987730 hasConcept C36299963 @default.
- W4386987730 hasConcept C41008148 @default.
- W4386987730 hasConcept C62520636 @default.
- W4386987730 hasConcept C80444323 @default.
- W4386987730 hasConceptScore W4386987730C112505250 @default.
- W4386987730 hasConceptScore W4386987730C11413529 @default.
- W4386987730 hasConceptScore W4386987730C116248031 @default.
- W4386987730 hasConceptScore W4386987730C120665830 @default.
- W4386987730 hasConceptScore W4386987730C121332964 @default.
- W4386987730 hasConceptScore W4386987730C154945302 @default.
- W4386987730 hasConceptScore W4386987730C192209626 @default.
- W4386987730 hasConceptScore W4386987730C2776807809 @default.
- W4386987730 hasConceptScore W4386987730C28826006 @default.
- W4386987730 hasConceptScore W4386987730C32848918 @default.
- W4386987730 hasConceptScore W4386987730C33923547 @default.
- W4386987730 hasConceptScore W4386987730C36299963 @default.
- W4386987730 hasConceptScore W4386987730C41008148 @default.
- W4386987730 hasConceptScore W4386987730C62520636 @default.
- W4386987730 hasConceptScore W4386987730C80444323 @default.
- W4386987730 hasLocation W43869877301 @default.
- W4386987730 hasOpenAccess W4386987730 @default.
- W4386987730 hasPrimaryLocation W43869877301 @default.
- W4386987730 hasRelatedWork W13464662 @default.
- W4386987730 hasRelatedWork W1600823405 @default.
- W4386987730 hasRelatedWork W2034276883 @default.
- W4386987730 hasRelatedWork W2093248564 @default.
- W4386987730 hasRelatedWork W2098114232 @default.
- W4386987730 hasRelatedWork W2608141485 @default.
- W4386987730 hasRelatedWork W2609164385 @default.
- W4386987730 hasRelatedWork W2963175890 @default.
- W4386987730 hasRelatedWork W3181593973 @default.
- W4386987730 hasRelatedWork W4285285586 @default.
- W4386987730 isParatext "false" @default.
- W4386987730 isRetracted "false" @default.
- W4386987730 workType "book-chapter" @default.