Liping Xiong

According to our database1, Liping Xiong authored at least 8 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Modal Logic for Joint Abilities under Strategy Commitments.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Model Checking Dynamic Strategy Logic with Memoryless Strategies.
Proceedings of the CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, 2020

Automatic Synthesis of Generalized Winning Strategy of Impartial Combinatorial Games.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2016
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Strategy Representation and Reasoning in the Situation Calculus.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015
An Optimal Free Energy Dissipation Strategy of the MinCDE Oscillator in Regulating Symmetric Bacterial Cell Division.
PLoS Comput. Biol., 2015

2007
Growth Analysis and CUSSIM Model in Cucumber Seedling.
Proceedings of the Workshop on Intelligent Information Technology Application, 2007


  Loading...