Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Alexandre Donzé

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 Vasumathi Raman

> Home > Persons > Alexandre Donzé

Publications

2017
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/RamanDMMSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/RamanDMMSS17
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model Predictive Control for Signal Temporal Logic Specification. CoRR abs/1703.09563 (2017)
2016
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GhoshSNRDSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GhoshSNRDSSS16
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. HSCC 2016: 31-40
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GhoshSNRDSSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GhoshSNRDSSS16
Shromona Ghosh, Dorsa Sadigh, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donzé, Alberto L. Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit A. Seshia:
Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications. CoRR abs/1602.01883 (2016)
2015
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/DonzeR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/DonzeR15
Alexandre Donzé, Vasumathi Raman:
BluSTL: Controller Synthesis from Signal Temporal Logic Specifications. ARCH@CPSWeek 2015: 160-168
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RamanDSMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RamanDSMS15
Vasumathi Raman, Alexandre Donzé, Dorsa Sadigh, Richard M. Murray, Sanjit A. Seshia:
Reactive synthesis from signal temporal logic specifications. HSCC 2015: 239-248
2014
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/RamanDMMSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/RamanDMMSS14
Vasumathi Raman, Alexandre Donzé, Mehdi Maasoumy, Richard M. Murray, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Model predictive control with signal temporal logic specifications. CDC 2014: 81-87
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/RamanMD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/RamanMD14
Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé:
Model predictive control from signal temporal logic specifications: a case study. CyPhy 2014: 52-55
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sensys/AksanliABCDDLMMNRRSSRV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sensys/AksanliABCDDLMMNRRSSRV14
Baris Aksanli, Alper Sinan Akyurek, Madhur Behl, Meghan Clark, Alexandre Donzé, Prabal Dutta, Patrick Lazik, Mehdi Maasoumy, Rahul Mangharam, Truong X. Nghiem, Vasumathi Raman, Anthony Rowe, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Tajana Simunic Rosing, Jagannathan Venkatesh:
Distributed control of a swarm of buildings connected to a smart grid: demo abstract. BuildSys@SenSys 2014: 172-173

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.