Distributed verification using mobile agents

DOI10.1007/978-3-642-35668-1_23MaRDI QIDQ5507407zbMATH OpenOpenAlexFDO

Authors Shantanu Das, Shay Kutten, Zvi Lotker

Publication date 19 December 2016

Published in Distributed Computing and Networking (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35668-1_23

zbMATH Keywords

distributed verificationfinite-state automatamobile agentsnetwork explorationproof labeling

Mathematics Subject Classification ID

Distributed systems (68M14) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On mobile agent verifiable problems
• On mobile agent verifiable problems
• Decidability classes for mobile agents computing
• Proof labeling schemes

Cited in

(4)

• On mobile agent verifiable problems
• Verification of agent navigation in partially-known environments
• On mobile agent verifiable problems
• Decidability classes for mobile agents computing

This page was built for publication: Distributed verification using mobile agents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5507407)