Abstrakt. Vi studerar beslutsproblem för parameteriserad verifiering av protokoll för ad hoc-nätverk. Det problem vi anser vara kontrollstatstillgänglighet för nätverk av godtycklig storlek. Vi begränsar vår analys till topologier som approximerar begreppet kluster (grafer med begränsad diameter) ofta används i ad hoc-nätverk för att optimera sändningskommunikation. I synnerhet är vi intresserade av klasser av grafer som inkluderar åtminstone klichéer av godtycklig ordning. Vi visar att även om det är decibelt, är kontrolltillståndets räckvidd över kliquer redan Ackermannhard och studerar mer sofistikerade topologier för vilka problemet fortfarande är decledable.
I synnerhet ansåg samma författare i REF att Ad Hoc Networks hade en begränsad och djupgående underklass.
On the power of cliques in the parameterized verification of Ad Hoc networks
{'venue': 'FoSSaCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}