Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367664939> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4367664939 endingPage "187" @default.
- W4367664939 startingPage "180" @default.
- W4367664939 abstract "Efficient state-space exploration has a significant impact on reachability analysis in explicit model checking and existing tools use several variants of search heuristics and random walks in order to overcome the state-space explosion problem. We contribute with a novel approach based on a random search strategy, where actions are assigned dynamically (on-the-fly) updated potencies, changing according to the variations of a heuristic distance to the goal configuration as encountered during the state-space search. We implement our general idea into a Petri net model checker TAPAAL and document its efficiency on a large benchmark of Petri net models from the annual Model Checking Contest. The experiments show that our heuristic search outperforms the standard search approaches in multiple metrics and that it constitutes a worthy addition to the portfolio of classical search strategies." @default.
- W4367664939 created "2023-05-03" @default.
- W4367664939 creator A5009728620 @default.
- W4367664939 creator A5025248421 @default.
- W4367664939 creator A5039438192 @default.
- W4367664939 creator A5048636462 @default.
- W4367664939 creator A5061163842 @default.
- W4367664939 creator A5064368706 @default.
- W4367664939 creator A5080918211 @default.
- W4367664939 date "2023-01-01" @default.
- W4367664939 modified "2023-10-18" @default.
- W4367664939 title "Potency-Based Heuristic Search with Randomness for Explicit Model Checking" @default.
- W4367664939 cites W1545688112 @default.
- W4367664939 cites W160689082 @default.
- W4367664939 cites W1969483458 @default.
- W4367664939 cites W2227958109 @default.
- W4367664939 cites W2800575625 @default.
- W4367664939 cites W2802268138 @default.
- W4367664939 cites W2892268670 @default.
- W4367664939 cites W3163218045 @default.
- W4367664939 doi "https://doi.org/10.1007/978-3-031-32157-3_10" @default.
- W4367664939 hasPublicationYear "2023" @default.
- W4367664939 type Work @default.
- W4367664939 citedByCount "0" @default.
- W4367664939 crossrefType "book-chapter" @default.
- W4367664939 hasAuthorship W4367664939A5009728620 @default.
- W4367664939 hasAuthorship W4367664939A5025248421 @default.
- W4367664939 hasAuthorship W4367664939A5039438192 @default.
- W4367664939 hasAuthorship W4367664939A5048636462 @default.
- W4367664939 hasAuthorship W4367664939A5061163842 @default.
- W4367664939 hasAuthorship W4367664939A5064368706 @default.
- W4367664939 hasAuthorship W4367664939A5080918211 @default.
- W4367664939 hasConcept C105795698 @default.
- W4367664939 hasConcept C110251889 @default.
- W4367664939 hasConcept C111919701 @default.
- W4367664939 hasConcept C11413529 @default.
- W4367664939 hasConcept C125112378 @default.
- W4367664939 hasConcept C125583679 @default.
- W4367664939 hasConcept C127705205 @default.
- W4367664939 hasConcept C13280743 @default.
- W4367664939 hasConcept C136643341 @default.
- W4367664939 hasConcept C139979381 @default.
- W4367664939 hasConcept C154945302 @default.
- W4367664939 hasConcept C173801870 @default.
- W4367664939 hasConcept C185798385 @default.
- W4367664939 hasConcept C197551870 @default.
- W4367664939 hasConcept C19889080 @default.
- W4367664939 hasConcept C205649164 @default.
- W4367664939 hasConcept C33923547 @default.
- W4367664939 hasConcept C38677869 @default.
- W4367664939 hasConcept C41008148 @default.
- W4367664939 hasConcept C72434380 @default.
- W4367664939 hasConcept C80444323 @default.
- W4367664939 hasConcept C94633896 @default.
- W4367664939 hasConceptScore W4367664939C105795698 @default.
- W4367664939 hasConceptScore W4367664939C110251889 @default.
- W4367664939 hasConceptScore W4367664939C111919701 @default.
- W4367664939 hasConceptScore W4367664939C11413529 @default.
- W4367664939 hasConceptScore W4367664939C125112378 @default.
- W4367664939 hasConceptScore W4367664939C125583679 @default.
- W4367664939 hasConceptScore W4367664939C127705205 @default.
- W4367664939 hasConceptScore W4367664939C13280743 @default.
- W4367664939 hasConceptScore W4367664939C136643341 @default.
- W4367664939 hasConceptScore W4367664939C139979381 @default.
- W4367664939 hasConceptScore W4367664939C154945302 @default.
- W4367664939 hasConceptScore W4367664939C173801870 @default.
- W4367664939 hasConceptScore W4367664939C185798385 @default.
- W4367664939 hasConceptScore W4367664939C197551870 @default.
- W4367664939 hasConceptScore W4367664939C19889080 @default.
- W4367664939 hasConceptScore W4367664939C205649164 @default.
- W4367664939 hasConceptScore W4367664939C33923547 @default.
- W4367664939 hasConceptScore W4367664939C38677869 @default.
- W4367664939 hasConceptScore W4367664939C41008148 @default.
- W4367664939 hasConceptScore W4367664939C72434380 @default.
- W4367664939 hasConceptScore W4367664939C80444323 @default.
- W4367664939 hasConceptScore W4367664939C94633896 @default.
- W4367664939 hasLocation W43676649391 @default.
- W4367664939 hasOpenAccess W4367664939 @default.
- W4367664939 hasPrimaryLocation W43676649391 @default.
- W4367664939 hasRelatedWork W2017249296 @default.
- W4367664939 hasRelatedWork W2040791800 @default.
- W4367664939 hasRelatedWork W2073745570 @default.
- W4367664939 hasRelatedWork W2121963021 @default.
- W4367664939 hasRelatedWork W2497391310 @default.
- W4367664939 hasRelatedWork W2499026813 @default.
- W4367664939 hasRelatedWork W2733854862 @default.
- W4367664939 hasRelatedWork W4254980244 @default.
- W4367664939 hasRelatedWork W4367664939 @default.
- W4367664939 hasRelatedWork W2126943265 @default.
- W4367664939 isParatext "false" @default.
- W4367664939 isRetracted "false" @default.
- W4367664939 workType "book-chapter" @default.