7 citations · 16 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.AI2018
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
Alternating-time temporal logics (ATL/ATL*) represent a family of modal logics for reasoning about agents' strategic abilities in multiagent systems (MAS). The interpretations of A…
cs.PL2018★ 7 cited
KRust: A Formal Executable Semantics of Rust
Feng Wang, Fu Song, Min Zhang +2
Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borro…