FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040030484> ?p ?o ?g. }

• W2040030484 abstract "We consider the problem of learning a non-deterministic probabilistic system consistent with a given finite set of positive and negative tree samples. Consistency is defined with respect to strong simulation conformance. We propose learning algorithms that use traditional and a new stochastic state-space partitioning, the latter resulting in the minimum number of states. We then use them to solve the problem of active learning, that uses a knowledgeable teacher to generate samples as counterexamples to simulation equivalence queries. We show that the problem is undecidable in general, but that it becomes decidable under a suitable condition on the teacher which comes naturally from the way samples are generated from failed simulation checks. The latter problem is shown to be undecidable if we impose an additional condition on the learner to always conjecture a minimum state hypothesis. We therefore propose a semi-algorithm using stochastic partitions. Finally, we apply the proposed (semi-) algorithms to infer intermediate assumptions in an automated assume-guarantee verification framework for probabilistic systems." @default.
• W2040030484 created "2016-06-24" @default.
• W2040030484 creator A5027580280 @default.
• W2040030484 creator A5053134485 @default.
• W2040030484 creator A5090974026 @default.
• W2040030484 date "2012-06-01" @default.
• W2040030484 modified "2023-09-26" @default.
• W2040030484 title "Learning Probabilistic Systems from Tree Samples" @default.
• W2040030484 cites W1578170176 @default.
• W2040030484 cites W1665588751 @default.
• W2040030484 cites W1830821883 @default.
• W2040030484 cites W1963619740 @default.
• W2040030484 cites W1989445634 @default.
• W2040030484 cites W2013887890 @default.
• W2040030484 cites W2017603160 @default.
• W2040030484 cites W2050570613 @default.
• W2040030484 cites W2061079066 @default.
• W2040030484 cites W2082863623 @default.
• W2040030484 cites W2088501121 @default.
• W2040030484 cites W2105172619 @default.
• W2040030484 cites W2114404258 @default.
• W2040030484 cites W2117013774 @default.
• W2040030484 cites W2130025446 @default.
• W2040030484 cites W2137467159 @default.
• W2040030484 cites W2494400401 @default.
• W2040030484 cites W2788466166 @default.
• W2040030484 cites W4212875940 @default.
• W2040030484 cites W4244879671 @default.
• W2040030484 cites W98666333 @default.
• W2040030484 doi "https://doi.org/10.1109/lics.2012.54" @default.
• W2040030484 hasPublicationYear "2012" @default.
• W2040030484 type Work @default.
• W2040030484 sameAs 2040030484 @default.
• W2040030484 citedByCount "11" @default.
• W2040030484 countsByYear W20400304842013 @default.
• W2040030484 countsByYear W20400304842014 @default.
• W2040030484 countsByYear W20400304842015 @default.
• W2040030484 countsByYear W20400304842016 @default.
• W2040030484 countsByYear W20400304842017 @default.
• W2040030484 countsByYear W20400304842018 @default.
• W2040030484 countsByYear W20400304842021 @default.
• W2040030484 crossrefType "proceedings-article" @default.
• W2040030484 hasAuthorship W2040030484A5027580280 @default.
• W2040030484 hasAuthorship W2040030484A5053134485 @default.
• W2040030484 hasAuthorship W2040030484A5090974026 @default.
• W2040030484 hasBestOaLocation W20400304842 @default.
• W2040030484 hasConcept C105795698 @default.
• W2040030484 hasConcept C113174947 @default.
• W2040030484 hasConcept C11413529 @default.
• W2040030484 hasConcept C114614502 @default.
• W2040030484 hasConcept C118615104 @default.
• W2040030484 hasConcept C153269930 @default.
• W2040030484 hasConcept C154945302 @default.
• W2040030484 hasConcept C162838799 @default.
• W2040030484 hasConcept C176248197 @default.
• W2040030484 hasConcept C177264268 @default.
• W2040030484 hasConcept C192034797 @default.
• W2040030484 hasConcept C199360897 @default.
• W2040030484 hasConcept C24404364 @default.
• W2040030484 hasConcept C2780069185 @default.
• W2040030484 hasConcept C32254414 @default.
• W2040030484 hasConcept C33923547 @default.
• W2040030484 hasConcept C41008148 @default.
• W2040030484 hasConcept C48103436 @default.
• W2040030484 hasConcept C49937458 @default.
• W2040030484 hasConcept C52063229 @default.
• W2040030484 hasConcept C72434380 @default.
• W2040030484 hasConcept C77967617 @default.
• W2040030484 hasConcept C80444323 @default.
• W2040030484 hasConceptScore W2040030484C105795698 @default.
• W2040030484 hasConceptScore W2040030484C113174947 @default.
• W2040030484 hasConceptScore W2040030484C11413529 @default.
• W2040030484 hasConceptScore W2040030484C114614502 @default.
• W2040030484 hasConceptScore W2040030484C118615104 @default.
• W2040030484 hasConceptScore W2040030484C153269930 @default.
• W2040030484 hasConceptScore W2040030484C154945302 @default.
• W2040030484 hasConceptScore W2040030484C162838799 @default.
• W2040030484 hasConceptScore W2040030484C176248197 @default.
• W2040030484 hasConceptScore W2040030484C177264268 @default.
• W2040030484 hasConceptScore W2040030484C192034797 @default.
• W2040030484 hasConceptScore W2040030484C199360897 @default.
• W2040030484 hasConceptScore W2040030484C24404364 @default.
• W2040030484 hasConceptScore W2040030484C2780069185 @default.
• W2040030484 hasConceptScore W2040030484C32254414 @default.
• W2040030484 hasConceptScore W2040030484C33923547 @default.
• W2040030484 hasConceptScore W2040030484C41008148 @default.
• W2040030484 hasConceptScore W2040030484C48103436 @default.
• W2040030484 hasConceptScore W2040030484C49937458 @default.
• W2040030484 hasConceptScore W2040030484C52063229 @default.
• W2040030484 hasConceptScore W2040030484C72434380 @default.
• W2040030484 hasConceptScore W2040030484C77967617 @default.
• W2040030484 hasConceptScore W2040030484C80444323 @default.
• W2040030484 hasLocation W20400304841 @default.
• W2040030484 hasLocation W20400304842 @default.
• W2040030484 hasLocation W20400304843 @default.
• W2040030484 hasOpenAccess W2040030484 @default.
• W2040030484 hasPrimaryLocation W20400304841 @default.
• W2040030484 hasRelatedWork W103774727 @default.
• W2040030484 hasRelatedWork W1545861088 @default.
• W2040030484 hasRelatedWork W1733262075 @default.

• next