Search results for: Michael Fisher
Journal of Neuro-Oncology > 2019 > 143 > 2 > 305-312
International Journal of Game Theory > 2018 > 47 > 2 > 557-576
Energy Systems > 2018 > 9 > 1 > 3-23
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Modeling and Execution > 163-163
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 33-47
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 94-129
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 85-99
Lecture Notes in Computer Science > Temporal Logic > 480-505
Lecture Notes in Computer Science > Safety and Security in Multiagent Systems > Stochastic Approaches to Predictability and Unpredictability > 162-174
Lecture Notes in Computer Science > Intelligent Agents IV Agent Theories, Architectures, and Languages > 193-207
Lecture Notes in Computer Science > Temporal Logic > 415-429
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 8: Formal Verification 2 > 228-242
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 95-110
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Planning and Applications > 265-280