859 citations
- Aix-Marseille UniversitéFR204 papers
- Centre National de la Recherche ScientifiqueFR180 papers
- Université de ToulonFR108 papers
- Institut Universitaire de FranceFR32 papers
- Centre de physique des particules de MarseilleFR30 papers
- Universitat de ValènciaES30 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR29 papers
- Université Paris-SaclayFR29 papers
- Université Paris-SudFR29 papers
- Institut Méditerranéen d’OcéanologieFR28 papers
- GéoazurFR27 papers
- Institut National de Physique Nucléaire et de Physique des ParticulesFR27 papers
4 papers · 2 filters
Optimal controller synthesis for timed systems
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier
Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a…
Bijective proofs for Eulerian numbers of types B and D
Luigi Santocanale
Let $\Bigl\langle\matrix{n\cr k}\Bigr\rangle$, $\Bigl\langle\matrix{B_n\cr k}\Bigr\rangle$, and $\Bigl\langle\matrix{D_n\cr k}\Bigr\rangle$ be the Eulerian numbers in the types A,…
Disentangling Parallelism and Interference in Game Semantics
Simon Castellan, Pierre Clairambault
Game semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated achievement is to ha…
Dualizing sup-preserving endomaps of a complete lattice
Luigi Santocanale
It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We…