Luca Cardelli

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 Alessandro Abate

> Home > Persons > Luca Cardelli

Publications

2021
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/LaurentiLACK21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/LaurentiLACK21
Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Luca Cardelli, Marta Kwiatkowska:
Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 66(1): 17-32 (2021)
2020
[c118]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/PolymenakosLPCC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/PolymenakosLPCC20
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Iterative Predictions with Gaussian Processes. CDC 2020: 3187-3193
2019
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/CauchiLLAKC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/CauchiLLAKC19
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. HSCC 2019: 240-251
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1901-01576
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-01576
Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli:
Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems. CoRR abs/1901.01576 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1912-00071
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-00071
Kyriakos Polymenakos, Luca Laurenti, Andrea Patane, Jan-Peter Calliess, Luca Cardelli, Marta Kwiatkowska, Alessandro Abate, Stephen J. Roberts:
Safety Guarantees for Planning Based on Iterative Gaussian Processes. CoRR abs/1912.00071 (2019)
2018
[c110]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cmsb/AbateCKLY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/AbateCKLY18
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182
2017
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/LaurentiABCCK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/LaurentiABCCK17
Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska, Marta Z. Kwiatkowska:
Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. HSCC 2017: 55-64
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1710-08016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-08016
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017)

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.