Slawomir Kmiec

According to our database, Slawomir Kmiec authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Infinite States Verification in Game-Theoretic Logics: Case Studies and Implementation.

Slawomir Kmiec, Yves Lespérance

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014