Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/CoentVCF17,
  author       = {Adrien Le Co{\"{e}}nt and
                  Florian De Vuyst and
                  Ludovic Chamoin and
                  Laurent Fribourg},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Control Synthesis of Nonlinear Sampled Switched Systems using Euler's
                  Method},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {18--33},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.2},
  doi          = {10.4204/EPTCS.247.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CoentVCF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DesrochersJ17,
  author       = {Beno{\^{\i}}t Desrochers and
                  Luc Jaulin},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Minkowski Operations of Sets with Application to Robot Localization},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {34--45},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.3},
  doi          = {10.4204/EPTCS.247.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DesrochersJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Ivanov17,
  author       = {Ievgen Ivanov},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {On the Underapproximation of Reach Sets of Abstract Continuous-Time
                  Systems},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {46--51},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.4},
  doi          = {10.4204/EPTCS.247.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Ivanov17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Radojicic0JR17,
  author       = {Carna Radojicic and
                  Christoph Grimm and
                  Axel Jantsch and
                  Michael Rathmair},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Towards Verification of Uncertain Cyber-Physical Systems},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {1--17},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.1},
  doi          = {10.4204/EPTCS.247.1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Radojicic0JR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ZengBT17,
  author       = {Yingfu Zeng and
                  Ferenc A. Bartha and
                  Walid Taha},
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Compile-Time Extensions to Hybrid ODEs},
  booktitle    = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  pages        = {52--70},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.247.5},
  doi          = {10.4204/EPTCS.247.5},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ZengBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/AbrahamB17,
  editor       = {Erika {\'{A}}brah{\'{a}}m and
                  Sergiy Bogomolov},
  title        = {Proceedings 3rd International Workshop on Symbolic and Numerical Methods
                  for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April
                  2017},
  series       = {{EPTCS}},
  volume       = {247},
  year         = {2017},
  url          = {http://arxiv.org/abs/1704.02421},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbrahamB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}