共 50 条
- [22] Logic and Model Checking by Imprecise Probabilistic Interpreted Systems MULTI-AGENT SYSTEMS, EUMAS 2021, 2021, 12802 : 211 - 227
- [23] Probabilistic Model Checking for Feature-Oriented Systems TRANSACTIONS ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT XII, 2015, 8989 : 180 - 220
- [24] Quantitative refinement and model checking for the analysis of probabilistic systems FM 2006: FORMAL METHODS, PROCEEDINGS, 2006, 4085 : 131 - 146
- [25] MODEL CHECKING KNOWLEDGE AND COMMITMENTS IN MULTIAGENT SYSTEMS USING ACTORS AND UPPAAL 32ND EUROPEAN CONFERENCE ON MODELLING AND SIMULATION (ECMS 2018), 2018, : 136 - 142
- [29] Towards probabilistic model checking on P systems using PRISM MEMBRANE COMPUTING, 2006, 4361 : 477 - +