406 search results - page 9 / 82 » Games with Opacity Condition |
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
CSL
2003
Springer
14 years 21 days ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
AIED
2011
Springer
12 years 11 months ago
2011
Springer
Intelligent Tutoring Systems (ITSs) have been used for decades to teach students domain content or strategies. ITSs often struggle to maintain students’ interest and sustain a pr...
SPAA
2009
ACM
14 years 8 months ago
2009
ACM
Transactional memory (TM) is a promising approach for designing concurrent data structures, and it is essential to develop better understanding of the formal properties that can b...
WDAG
2010
Springer
13 years 5 months ago
2010
Springer
We argue that traditional synchronization objects, such as locks, conditions, and atomic/volatile variables, should be defined in terms of transactions, rather than the other way ...