5 citations
- Université Rennes 2FR3 papers
- Université de RennesFR2 papers
- Acadia HospitalUS1 paper
- Amplitude Systèmes (France)FR1 paper
- Ankara UniversityTR1 paper
- Astronomical Observatory of RomeIT1 paper
- Atatürk UniversityTR1 paper
- Banque de FranceFR1 paper
- Brera Astronomical ObservatoryIT1 paper
- Centre Inria de l'Université de RennesFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Centro Tecnológico de Investigación, Desarrollo e Innovación en tecnologías de la Información y las Comunicaciones (TIC)ES1 paper
4 papers
Kilometre-scale Jovian moon characterized for a potential JUICE flyby
Juan Luis Rizos, Jose Maria Gomez-Limon, Yucel Kilic +51
Jupiter's irregular satellites are thought to be relics of early Solar System planetesimals. However, their small sizes, large distances from Earth and close angular proximity to J…
Optimal firm's policy under lead time-and price-dependent demand: interest of customers rejection policy
Abduh Sayid, Yannick Frein, Ramzi Hammami
Considering a lead-time-and price-sensitive demand, we investigate whether a client rejection policy, modeled as M/M/1/K system, can be more profitable than an all-client acceptanc…
Automata Techniques for Epistemic Protocol Synthesis
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…
The Complexity of Synthesizing Uniform Strategies
Bastien Maubert, Sophie Pinchinat, Laura Bozzelli
We investigate uniformity properties of strategies. These properties involve sets of plays in order to express useful constraints on strategies that are not μ-calculus definable. T…