90 citations
- Institut de recherche mathématique de RennesFR38 papers
- Centre National de la Recherche ScientifiqueFR21 papers
- Université de RennesFR20 papers
- Institut national de recherche en sciences et technologies du numériqueFR8 papers
- Centre Inria de l'Université de RennesFR6 papers
- Institut de Recherche en Informatique et Systèmes AléatoiresFR4 papers
- Laboratoire des systèmes et applications des technologies de l'information et de l'énergieFR4 papers
- École Normale Supérieure Paris-SaclayFR3 papers
- École Normale Supérieure - PSLFR3 papers
- MINGUS: Schémas numériques géométriques multi-échellesFR3 papers
- University of GenevaCH3 papers
- University of Naples Federico IIIT3 papers
7 papers · 1 filter
Global null-controllability and nonnegative-controllability of slightly superlinear heat equations
Kévin Le Balc'H
We consider the semilinear heat equation posed on a smooth bounded domain of with Dirichlet or Neumann boundary conditions. The control input is a source term…
Peer-to-peer and community-based markets: A comprehensive review
Tiago Sousa, Tiago Soares, Pierre Pinson +3
The advent of more proactive consumers, the so-called "prosumers", with production and storage capabilities, is empowering the consumers and bringing new opportunities and challeng…
Strategy Logic with Imperfect Information
Raphaël Berthon, Bastien Maubert, Aniello Murano +2
We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player…
Decidability results for ATL* with imperfect information and perfect recall
Raphaël Berthon, Bastien Maubert, Aniello Murano
Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable m…
Changing Observations in Epistemic Temporal Logic
Aurèle Barrière, Bastien Maubert, Aniello Murano +1
We study dynamic changes of agents' observational power in logics of knowledge and time. We consider CTL*K, the extension of CTL* with knowledge operators, and enrich it with a new…
KS(conf ): A Light-Weight Test if a ConvNet Operates Outside of Its Specifications
Rémy Sun, Christoph H. Lampert
Computer vision systems for automatic image categorization have become accurate and reliable enough that they can run continuously for days or even years as components of real-worl…