Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1303.0794
Cited By
Reducing Validity in Epistemic ATL to Validity in Epistemic CTL
4 March 2013
Dimitar P. Guelev
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Reducing Validity in Epistemic ATL to Validity in Epistemic CTL"
1 / 1 papers shown
Reasoning about Temporary Coalitions and LTL-definable Ordered Objectives in Infinite Concurrent Multiplayer Games
Dimitar P. Guelev
LRM
178
2
0
07 Nov 2020
1
Page 1 of 1
