Publication | Closed Access
Verifying time, memory and communication bounds in systems of reasoning agents
24
Citations
24
References
2009
Year
EngineeringReasoning SystemAutomated ReasoningModel-based ReasoningVerificationFormal MethodsComputer ScienceTemporal LogicModel CheckingFormal VerificationComputer-assisted ReasoningCommunication Bounds
| Year | Citations | |
|---|---|---|
Page 1
Page 1