Matches in SemOpenAlex for { <https://semopenalex.org/work/W2883717263> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2883717263 abstract "Cops and robbers problem has been studied over the decades with many variants andapplications in graph searching problem. In this work, we study a variant of cops androbbers problem on graphs. In this variant, there are di�erent types of cops and aminimum number of each type of cops are required to catch a robber. We studied thismodel over various random graph models and analyzed the properties using statisticalmodel checking.To the best of our knowledge this variant of the cops and robber problem hasnot been studied yet. We have used statistical techniques to estimate the probabilityof robber getting caught in di�erent random graph models. We seek to comparethe ease of catching robbers performing random walk on graphs, especially complexnetworks. In this work, we report the experiments that yields interesting empiricalresults. Through the experiments we have observed that it is easier to catch a robberin Barab�asi Albert model than in Erd�os-R�enyi graph model. We have also experimentedwith k-Regular graphs and real street networks.In our work, the model is framed as the multi-agent based system and we have implementeda statistical model checker, SMCA tool which veri�es agents based systemsusing statistical techniques. SMCA tool can take the model in JAVA programminglanguage and support Probabilistic - Bounded LTL logic for property specification." @default.
- W2883717263 created "2018-08-03" @default.
- W2883717263 creator A5030485787 @default.
- W2883717263 creator A5073067194 @default.
- W2883717263 date "2018-01-01" @default.
- W2883717263 modified "2023-09-23" @default.
- W2883717263 title "Statistical Model Checking for Cops andRobbers Game on Random Graph Models" @default.
- W2883717263 hasPublicationYear "2018" @default.
- W2883717263 type Work @default.
- W2883717263 sameAs 2883717263 @default.
- W2883717263 citedByCount "0" @default.
- W2883717263 crossrefType "dissertation" @default.
- W2883717263 hasAuthorship W2883717263A5030485787 @default.
- W2883717263 hasAuthorship W2883717263A5073067194 @default.
- W2883717263 hasConcept C110251889 @default.
- W2883717263 hasConcept C114289077 @default.
- W2883717263 hasConcept C114614502 @default.
- W2883717263 hasConcept C132525143 @default.
- W2883717263 hasConcept C134306372 @default.
- W2883717263 hasConcept C154945302 @default.
- W2883717263 hasConcept C199360897 @default.
- W2883717263 hasConcept C33923547 @default.
- W2883717263 hasConcept C34388435 @default.
- W2883717263 hasConcept C36382193 @default.
- W2883717263 hasConcept C41008148 @default.
- W2883717263 hasConcept C47458327 @default.
- W2883717263 hasConcept C49937458 @default.
- W2883717263 hasConcept C548217200 @default.
- W2883717263 hasConcept C80444323 @default.
- W2883717263 hasConceptScore W2883717263C110251889 @default.
- W2883717263 hasConceptScore W2883717263C114289077 @default.
- W2883717263 hasConceptScore W2883717263C114614502 @default.
- W2883717263 hasConceptScore W2883717263C132525143 @default.
- W2883717263 hasConceptScore W2883717263C134306372 @default.
- W2883717263 hasConceptScore W2883717263C154945302 @default.
- W2883717263 hasConceptScore W2883717263C199360897 @default.
- W2883717263 hasConceptScore W2883717263C33923547 @default.
- W2883717263 hasConceptScore W2883717263C34388435 @default.
- W2883717263 hasConceptScore W2883717263C36382193 @default.
- W2883717263 hasConceptScore W2883717263C41008148 @default.
- W2883717263 hasConceptScore W2883717263C47458327 @default.
- W2883717263 hasConceptScore W2883717263C49937458 @default.
- W2883717263 hasConceptScore W2883717263C548217200 @default.
- W2883717263 hasConceptScore W2883717263C80444323 @default.
- W2883717263 hasLocation W28837172631 @default.
- W2883717263 hasOpenAccess W2883717263 @default.
- W2883717263 hasPrimaryLocation W28837172631 @default.
- W2883717263 hasRelatedWork W1735484586 @default.
- W2883717263 hasRelatedWork W1998369386 @default.
- W2883717263 hasRelatedWork W2109978172 @default.
- W2883717263 hasRelatedWork W2116477200 @default.
- W2883717263 hasRelatedWork W2122017167 @default.
- W2883717263 hasRelatedWork W2142401178 @default.
- W2883717263 hasRelatedWork W2198708189 @default.
- W2883717263 hasRelatedWork W2217103149 @default.
- W2883717263 hasRelatedWork W2256863758 @default.
- W2883717263 hasRelatedWork W2560199472 @default.
- W2883717263 hasRelatedWork W2573245339 @default.
- W2883717263 hasRelatedWork W2743049166 @default.
- W2883717263 hasRelatedWork W2806599206 @default.
- W2883717263 hasRelatedWork W2889160049 @default.
- W2883717263 hasRelatedWork W2931671159 @default.
- W2883717263 hasRelatedWork W2943432418 @default.
- W2883717263 hasRelatedWork W2950550864 @default.
- W2883717263 hasRelatedWork W2964269513 @default.
- W2883717263 hasRelatedWork W3035937233 @default.
- W2883717263 hasRelatedWork W2765707912 @default.
- W2883717263 isParatext "false" @default.
- W2883717263 isRetracted "false" @default.
- W2883717263 magId "2883717263" @default.
- W2883717263 workType "dissertation" @default.