共 50 条
- [1] Automata-based programming of the reactive multi-agent control systems 2005 International Conference on Integration of Knowledge Intensive Multi-Agent Systems: KIMAS'05: MODELING, EXPLORATION, AND ENGINEERING, 2005, : 449 - 453
- [4] Automata-based refinement checking for real-time systems COMPUTER SCIENCE-RESEARCH AND DEVELOPMENT, 2015, 30 (3-4): : 255 - 283
- [5] Real-time and multi-agent systems JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2003, 6 (02):
- [6] Intelligent Real-Time Processing Method Based on JACK Multi-Agent PROCEEDINGS OF INTERNATIONAL CONFERENCE ON RESOURCE ENVIRONMENT AND INFORMATION TECHNOLOGY IN 2010 (REIT' 2010), 2010, : 173 - 177
- [7] Dynamic Multi-Agent Systems: Conceptual Framework, Automata-Based Modelling and Verification PRINCIPLES AND PRACTICE OF MULTI-AGENT SYSTEMS (PRIMA 2019), 2019, 11873 : 106 - 122
- [8] Emergence of Collective Behavior in Large Cellular Automata-Based Multi-agent Systems ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, ICAISC 2019, PT II, 2019, 11509 : 676 - 688
- [10] Real-Time Stochastic Optimal Control for Multi-Agent Quadrotor Systems TWENTY-SIXTH INTERNATIONAL CONFERENCE ON AUTOMATED PLANNING AND SCHEDULING (ICAPS 2016), 2016, : 468 - 476