2 papers
cs.PL2025
Decision Procedure for A Theory of String Sequences
Denghang Hu, Taolue Chen, Philipp Rümmer +2
The theory of sequences, supported by many SMT solvers, can model program data types including bounded arrays and lists. Sequences are parameterized by the element data type and pr…
cs.LO2024
Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
Yedi Zhang, Fu Song, Taolue Chen +1
Reasoning about strategic abilities is key to AI systems comprising multiple agents, which provide a unified framework for formalizing various problems in game theory, social choic…