6355 search results - page 140 / 1271 » From Logic to Games |
223
click to vote
PKAW
2010
15 years 4 months ago
2010
How humans infer probable information from the limited observed data? How they are able to build on little knowledge about the context in hand? Is the human memory repeatedly const...
183
click to vote
WAOA
2010
Springer
15 years 4 months ago
2010
Springer
We consider cut games where players want to cut themselves off from different parts of a network. These games arise when players want to secure themselves from areas of potential i...
197
click to vote
Publication
When preparing students for an industrial or academic career in software engineering, educational institutions need to address the globally distributed character of the software en...
165
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
180
click to vote
ISSS
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an algorithm for synthesising controllers specified in a subset of the interval temporal logic Duration Calculus [13]. The synthesised controllers are given as PLC-Auto...