Zobrazeno 1 - 10
of 71
pro vyhledávání: '"Busard, P"'
Autor:
Busard, Simon, Pecheur, Charles
Publikováno v:
EPTCS 256, 2017, pp. 253-267
Since the introduction of Alternating-time Temporal Logic (ATL), many logics have been proposed to reason about different strategic capabilities of the agents of a system. In particular, some logics have been designed to reason about the uniform memo
Externí odkaz:
http://arxiv.org/abs/1709.02106
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 184, 2015, pp. 19-31
In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic. Each interlocking makes use of particular data, called application data, that reflec
Externí odkaz:
http://arxiv.org/abs/1506.03554
Publikováno v:
EPTCS 112, 2013, pp. 71-79
A number of extensions exist for Alternating-time Temporal Logic; some of these mix strategies and partial observability but, to the best of our knowledge, no work provides a unified framework for strategies, partial observability and fairness constr
Externí odkaz:
http://arxiv.org/abs/1303.0793
Autor:
Busard, Simon, Pecheur, Charles
Publikováno v:
EPTCS 78, 2012, pp. 39-53
Model checking verifies that a model of a system satisfies a given property, and otherwise produces a counter-example explaining the violation. The verified properties are formally expressed in temporal logics. Some temporal logics, such as CTL, are
Externí odkaz:
http://arxiv.org/abs/1202.4509
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Simon Busard, Charles Pecheur
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 256, Iss Proc. GandALF 2017, Pp 253-267 (2017)
Since the introduction of Alternating-time Temporal Logic (ATL), many logics have been proposed to reason about different strategic capabilities of the agents of a system. In particular, some logics have been designed to reason about the uniform memo
Externí odkaz:
https://doaj.org/article/100612025a234bd6987d446766695fdc
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 184, Iss Proc. ESSS 2015, Pp 19-31 (2015)
In the railway domain, an interlocking is a computerised system that controls the railway signalling objects in order to allow a safe operation of the train traffic. Each interlocking makes use of particular data, called application data, that reflec
Externí odkaz:
https://doaj.org/article/80edb3350e70450cadcf0258bcd425fb
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.