Verifying Multi-agent Programs by Model Checking - Concepedia

Concepedia

Publication | Open Access

Verifying Multi-agent Programs by Model Checking

DOI Full Paper Access

163

Citations

28

References

2006

Year

Rafael H. Bordini, Michael Fisher, Willem Visser, Michael Wooldridge

Autonomous Agents and Multi-Agent Systems

Program CheckingEngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisComputer ScienceModel CheckingFormal VerificationSoftware Verification

References

	Year	Citations

Page 1