Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:journals/corr/abs-1804-04345,
  author       = {Eric S. Kim and
                  Murat Arcak and
                  Sanjit A. Seshia and
                  BaekGyu Kim and
                  Shinichi Shiraishi},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Automatic Generation of Communication Requirements for Enforcing Multi-Agent
                  Safety},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {3--16},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.2},
  doi          = {10.4204/EPTCS.269.2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1804-04346,
  author       = {Maike Schwammberger},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Introducing Liveness into Multi-lane Spatial Logic lane change controllers
                  using {UPPAAL}},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {17--31},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.3},
  doi          = {10.4204/EPTCS.269.3},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04346.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1804-04347,
  author       = {Rahul Kumar Bhadani and
                  Jonathan Sprinkle and
                  Matthew R. Bunting},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {The {CAT} Vehicle Testbed: {A} Simulator with Hardware in the Loop
                  for Autonomous Vehicle Applications},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {32--47},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.4},
  doi          = {10.4204/EPTCS.269.4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04347.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1804-04348,
  author       = {Mohammad Hejase and
                  Arda Kurt and
                  Tunc Aldemir and
                  {\"{U}}mit {\"{O}}zg{\"{u}}ner},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Identification of Risk Significant Automotive Scenarios Under Hardware
                  Failures},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {59--73},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.6},
  doi          = {10.4204/EPTCS.269.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04348.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1804-04349,
  author       = {Georg Schildbach},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {On the Application of {ISO} 26262 in Control Design for Automated
                  Vehicles},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {74--82},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.7},
  doi          = {10.4204/EPTCS.269.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-04349.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1804-08407,
  author       = {Khalid Halba and
                  Charif Mahmoudi and
                  Edward Griffor},
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Robust Safety for Autonomous Vehicles through Reconfigurable Networking},
  booktitle    = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  pages        = {48--58},
  year         = {2018},
  url          = {https://doi.org/10.4204/EPTCS.269.5},
  doi          = {10.4204/EPTCS.269.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-08407.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1804-03406,
  editor       = {Mario Gleirscher and
                  Stefan Kugele and
                  Sven Linker},
  title        = {Proceedings 2nd International Workshop on Safe Control of Autonomous
                  Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018},
  series       = {{EPTCS}},
  volume       = {269},
  year         = {2018},
  url          = {http://arxiv.org/abs/1804.03406},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1804-03406.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}