Personal information

No personal information available

Activities

Works (6)

Model Checking for Probabilistic Multiagent Systems

Journal of Computer Science and Technology
2023-09 | Journal article
Part of ISSN: 1000-9000
Part of ISSN: 1860-4749
Contributors: Chen Fu; Andrea Turrini; Xiaowei Huang; Lei Song; Yuan Feng; Li-Jun Zhang
Source: Self-asserted source
Chen Fu

EPMC Gets Knowledge in Multi-agent Systems

2022 | Book chapter
Contributors: Chen Fu; Ernst Moritz Hahn; Yong Li; Sven Schewe; Meng Sun; Andrea Turrini; Lijun Zhang
Source: check_circle
Crossref

Frontmatter: mining Android user interfaces at scale

Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
2021-08-20 | Conference paper
Source: Self-asserted source
Chen Fu

What do all these Buttons do? Statically Mining Android User Interfaces at Scale

2021-05-07 | Preprint
Source: Self-asserted source
Chen Fu

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence
2018-07 | Conference paper
Source: Self-asserted source
Chen Fu

On Equivalence Checking of Nondeterministic Finite Automata

Dependable Software Engineering. Theories, Tools, and Applications
2017 | Book chapter
Part of ISSN: 0302-9743
Part of ISSN: 1611-3349
Source: Self-asserted source
Chen Fu