Raphaël M. Jungers

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Julien Calbert

> Home > Persons > Raphaël M. Jungers

Publications

2024
[i77]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-09556
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-09556
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers:
Memoryless concretization relation. CoRR abs/2403.09556 (2024)
2023
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/CalbertJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/CalbertJ23
Julien Calbert, Raphaël M. Jungers:
Data-driven heuristic symbolic models and application to limit-cycle detection. ACC 2023: 4351-4356
2022
[i59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2211-06237
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2211-06237
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers:
An Efficient Method to Verify the Inclusion of Ellipsoids. CoRR abs/2211.06237 (2022)
2021
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/RenCJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/RenCJ21
Wei Ren, Julien Calbert, Raphaël M. Jungers:
Zonotope-based Controller Synthesis for LTL Specifications. CDC 2021: 580-585
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CalbertLEJ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CalbertLEJ21
Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers:
Alternating Simulation on Hierarchical Abstractions. CDC 2021: 593-598
[i55]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00704
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00704
Wei Ren, Julien Calbert, Raphaël M. Jungers:
Zonotope-based Controller Synthesis for LTL Specifications. CoRR abs/2108.00704 (2021)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.