Affiliation:
1. University of Naples Federico II Naples Italy
2. Data Science Institute Imperial College of London, South Kensington Campus London UK
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software
Reference63 articles.
1. An automata theoretic approach to branching‐time model checking;Kupferman O;J ACM,2000
2. AminofB MalvoneV MuranoA RubinS. Graded strategic logic: reasoning about uniqueness of Nash equilibria. Paper presented at: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems Singapur;2016:698‐706.
3. Improved model checking of hierarchical systems;Aminof B;Inf Comp,2012
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Matrix-Based Approach to Parity Games;Tools and Algorithms for the Construction and Analysis of Systems;2023
2. COVID-Prevention-Based Parking with Risk Factor Computation;Complex, Intelligent and Software Intensive Systems;2021
3. Special Issue on High‐end Heterogeneous Architectures, Methodologies, and Algorithms (HHAMA20);Concurrency and Computation: Practice and Experience;2020-11-30