Zobrazeno 1 - 10
of 126
pro vyhledávání: '"Tracol, P."'
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:
Criminocorpus (2022)
Externí odkaz:
https://doaj.org/article/c2420c0a10164ddc9e6a332cd3ae4658
Publikováno v:
Criminocorpus (2022)
Externí odkaz:
https://doaj.org/article/b9779e8359a240d69ee6d264b6b91b77
Autor:
Samuel Tracol, Arnaud-Dominique Houte
Publikováno v:
Diálogos, Vol 24, Iss 2, Pp 25-80 (2020)
The Oyapock River has been the border between France and Brazil since the Treaty of Bern came to resolve a centuries-old dispute between the two states. Only populated by indigenous communities and a few adventurers, the two banks of the river are un
Externí odkaz:
https://doaj.org/article/3f5aaed5de5048088d2131ffad06de38
We consider partially observable Markov decision processes (POMDPs) with {\omega}-regular conditions specified as parity objectives. The class of {\omega}-regular languages extends regular languages to infinite strings and provides a robust specifica
Externí odkaz:
http://arxiv.org/abs/1309.2802
We consider probabilistic automata on infinite words with acceptance defined by parity conditions. We consider three qualitative decision problems: (i) the positive decision problem asks whether there is a word that is accepted with positive probabil
Externí odkaz:
http://arxiv.org/abs/1107.2091
Publikováno v:
EPTCS 57, 2011, pp. 148-162
We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of th
Externí odkaz:
http://arxiv.org/abs/1107.1206
We consider probabilistic automata on infinite words with acceptance defined by safety, reachability, B\"uchi, coB\"uchi, and limit-average conditions. We consider quantitative and qualitative decision problems. We present extensions and adaptations
Externí odkaz:
http://arxiv.org/abs/1104.0127
Autor:
Coudane, H., Benfrech, E., Lecoq, C., Zabee, L., Tracol, P., Danan, J.L., Bruno, P.Y., Lighezzolo Alnot, J.
Publikováno v:
In Orthopaedics & Traumatology: Surgery & Research June 2018 104(4):519-522
Autor:
Coudane, H., Benfrech, E., Lecoq, C., Zabee, L., Tracol, P., Danan, J.L., Bruno, P.Y., Lighezzolo Alnot, J.
Publikováno v:
In Revue de Chirurgie Orthopedique et Traumatologique June 2018 104(4):365-369