Zum Inhalt springen

  2. Ivanova, Elena [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Girard, Antoine [MitwirkendeR]

    Efficient Synthesis of Safety Controllers using Symbolic Models and Lazy Algorithms ; Synthèse efficace des contrôleurs de sécurité à l'aide de modèles symboliques et d'algorithmes paresseux

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-11-15

  3. Dallon, Antoine [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Delaune, Stéphanie [MitwirkendeR]; Cortier, Véronique [MitwirkendeR]

    Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques ; Verification of indistinguishability properties for cryptographic protocols

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-11-26

  4. Cheval, Vincent [VerfasserIn] ; Cachan, Ecole normale supérieure [MitwirkendeR]; Comon-Lundh, Hubert [MitwirkendeR]; Blanchet, Bruno [MitwirkendeR]

    Automatic verification of cryptographic protocols : privacy-type properties ; Vérification automatique des protocoles cryptographiques : propriétés d'équivalence

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-03

  5. Girol, Guillaume [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Conchon, Sylvain [MitwirkendeR]; Bardin, Sébastien [MitwirkendeR]

    Robust reachability and model counting for software security ; Atteignabilité robuste et comptage de modèles pour la sécurité logicielle

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-10-17

  6. Jacomme, Charlie [VerfasserIn] ; université Paris-Saclay [MitwirkendeR]; Comon-Lundh, Hubert [MitwirkendeR]; Kremer, Steve [MitwirkendeR]

    Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants ; Proofs of security protocols : symbolic methods and powerful attackers

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-10-16

  7. Hadjeres, Gaëtan [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Pachet, François [MitwirkendeR]

    Modèles génératifs profonds pour la génération interactive de musique symbolique ; Interactive deep generative models for symbolic music

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-06-07

  8. Charrier, Tristan [VerfasserIn] ; Rennes 1 [MitwirkendeR]; Pinchinat, Sophie [MitwirkendeR]

    Complexité théorique du raisonnement en logique épistémique dynamique et étude d’une approche symbolique ; Theoretical complexity of reasoning in dynamicepistemic logic and study of a symbolic approach

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-05

  10. Jeroslow, Robert G. [VerfasserIn]

    Logic-based decision support : mixed integer model formulation

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Amsterdam [u.a.]: North-Holland [u.a.], 1989

    Erschienen in: Annals of discrete mathematics ; 40

  11. Véran, Thomas [VerfasserIn] ; Lyon, INSA [MitwirkendeR]; Petit, Jean-Marc [MitwirkendeR]

    Efficient and interpretable crash prediction models : An application to a French highway network ; Prévention des causes d’accidents à partir des données d’historique des sociétés d’autoroute

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-11-04

  13. Gamblin, Sebastien [VerfasserIn] ; Normandie [MitwirkendeR]; Bouzid, Meroua [MitwirkendeR]

    Représentation symbolique pour la logique épistémique dynamique probabiliste ; Symbolic representation for probabilistic dynamic epistemic logic

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-12

  14. Medimegh, Slim [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Boulanger, Frédéric [MitwirkendeR]

    Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués ; Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-20

  15. Kamienny, Pierre-Alexandre [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Lamprier, Sylvain [MitwirkendeR]; Gallinari, Patrick [MitwirkendeR]; Denoyer, Ludovic [MitwirkendeR]

    Efficient adaptation of reinforcement learning agents : from model-free exploration to symbolic world models ; Adaptation efficace des agents appris par renforcement : de l'exploration model-free aux modèles symboliques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-10-04

  16. Letard, Vincent [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Rosset, Sophie [MitwirkendeR]

    Apprentissage incrémental de modèles de domaines par interaction dialogique ; Incremental Learning of Domain Models by Dialogic Interaction

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-04-28

  17. Prang, Mathieu [VerfasserIn] ; Sorbonne université [MitwirkendeR]; Agón, Carlos [MitwirkendeR]

    Representation learning for symbolic music ; Apprentissage pour la représentation de la musique symbolique

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-06-07

  18. Boumazouza, Ryma [VerfasserIn] ; Artois [MitwirkendeR]; Mazure, Bertrand [MitwirkendeR]; Tabia, Karim [MitwirkendeR]

    Modèles prédictifs & raisonnement avec les explications ; Predictive models & reasoning with explanations

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2022-12-08

  20. Aïssat, Romain [VerfasserIn] ; Université Paris-Saclay (ComUE) [MitwirkendeR]; Wolff, Burkhart [MitwirkendeR]

    Infeasible Path Detection : a Formal Model and an Algorithm ; Détection de chemins infaisables : un modèle formel et un algorithme

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-30