Matches in SemOpenAlex for { <https://semopenalex.org/work/W60276166> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W60276166 endingPage "305" @default.
- W60276166 startingPage "290" @default.
- W60276166 abstract "Policy Iteration is an algorithm for the exact solving of optimization and game theory problems, formulated as equations on min max affine expressions. It has been shown that the problem of finding the least fixpoint of semantic equations on some abstract domains can be reduced to such optimization problems. This enables the use of Policy Iteration to solve such equations, instead of the traditional Kleene iteration that performs approximations to ensure convergence. We first show in this paper that the concept of Policy Iteration can be integrated into numerical abstract domains in a generic way. This allows to widen considerably its applicability in static analysis. We then consider the verification of programs manipulating Boolean and numerical variables, and we provide an efficient method to integrate the concept of policy in a logico-numerical abstract domain that mixes Boolean and numerical properties. Our experiments show the benefit of our approach compared to a naive application of Policy Iteration to such programs." @default.
- W60276166 created "2016-06-24" @default.
- W60276166 creator A5013334876 @default.
- W60276166 creator A5026204356 @default.
- W60276166 creator A5031488505 @default.
- W60276166 creator A5067078527 @default.
- W60276166 date "2011-01-01" @default.
- W60276166 modified "2023-09-25" @default.
- W60276166 title "Policy Iteration within Logico-Numerical Abstract Domains" @default.
- W60276166 cites W1502028089 @default.
- W60276166 cites W1503756333 @default.
- W60276166 cites W1507199453 @default.
- W60276166 cites W1518247129 @default.
- W60276166 cites W1547121950 @default.
- W60276166 cites W1896502719 @default.
- W60276166 cites W1921152384 @default.
- W60276166 cites W2080267935 @default.
- W60276166 cites W2081810835 @default.
- W60276166 cites W2156268532 @default.
- W60276166 cites W3158747708 @default.
- W60276166 cites W4237438816 @default.
- W60276166 cites W4254547512 @default.
- W60276166 doi "https://doi.org/10.1007/978-3-642-24372-1_21" @default.
- W60276166 hasPublicationYear "2011" @default.
- W60276166 type Work @default.
- W60276166 sameAs 60276166 @default.
- W60276166 citedByCount "9" @default.
- W60276166 countsByYear W602761662012 @default.
- W60276166 countsByYear W602761662013 @default.
- W60276166 countsByYear W602761662014 @default.
- W60276166 countsByYear W602761662015 @default.
- W60276166 countsByYear W602761662017 @default.
- W60276166 countsByYear W602761662018 @default.
- W60276166 crossrefType "book-chapter" @default.
- W60276166 hasAuthorship W60276166A5013334876 @default.
- W60276166 hasAuthorship W60276166A5026204356 @default.
- W60276166 hasAuthorship W60276166A5031488505 @default.
- W60276166 hasAuthorship W60276166A5067078527 @default.
- W60276166 hasBestOaLocation W602761663 @default.
- W60276166 hasConcept C11413529 @default.
- W60276166 hasConcept C126255220 @default.
- W60276166 hasConcept C134306372 @default.
- W60276166 hasConcept C157449380 @default.
- W60276166 hasConcept C162324750 @default.
- W60276166 hasConcept C2777303404 @default.
- W60276166 hasConcept C28826006 @default.
- W60276166 hasConcept C33923547 @default.
- W60276166 hasConcept C36503486 @default.
- W60276166 hasConcept C41008148 @default.
- W60276166 hasConcept C48753275 @default.
- W60276166 hasConcept C50522688 @default.
- W60276166 hasConcept C61445026 @default.
- W60276166 hasConceptScore W60276166C11413529 @default.
- W60276166 hasConceptScore W60276166C126255220 @default.
- W60276166 hasConceptScore W60276166C134306372 @default.
- W60276166 hasConceptScore W60276166C157449380 @default.
- W60276166 hasConceptScore W60276166C162324750 @default.
- W60276166 hasConceptScore W60276166C2777303404 @default.
- W60276166 hasConceptScore W60276166C28826006 @default.
- W60276166 hasConceptScore W60276166C33923547 @default.
- W60276166 hasConceptScore W60276166C36503486 @default.
- W60276166 hasConceptScore W60276166C41008148 @default.
- W60276166 hasConceptScore W60276166C48753275 @default.
- W60276166 hasConceptScore W60276166C50522688 @default.
- W60276166 hasConceptScore W60276166C61445026 @default.
- W60276166 hasLocation W602761661 @default.
- W60276166 hasLocation W602761662 @default.
- W60276166 hasLocation W602761663 @default.
- W60276166 hasOpenAccess W60276166 @default.
- W60276166 hasPrimaryLocation W602761661 @default.
- W60276166 hasRelatedWork W1195908870 @default.
- W60276166 hasRelatedWork W2351438545 @default.
- W60276166 hasRelatedWork W2377573500 @default.
- W60276166 hasRelatedWork W2391495931 @default.
- W60276166 hasRelatedWork W2766391076 @default.
- W60276166 hasRelatedWork W2790365771 @default.
- W60276166 hasRelatedWork W2997140122 @default.
- W60276166 hasRelatedWork W3090086300 @default.
- W60276166 hasRelatedWork W3165752524 @default.
- W60276166 hasRelatedWork W4323526008 @default.
- W60276166 isParatext "false" @default.
- W60276166 isRetracted "false" @default.
- W60276166 magId "60276166" @default.
- W60276166 workType "book-chapter" @default.