Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs348.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2110-12577,
  author       = {Daumantas Pagojus and
                  Alice Miller and
                  Bernd Porr and
                  Ivaylo Valkov},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Simulation and Model Checking for Close to Realtime Overtaking Planning},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {20--37},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.2},
  doi          = {10.4204/EPTCS.348.2},
  timestamp    = {Tue, 16 Aug 2022 14:39:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12577.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12578,
  author       = {Bj{\o}rnar Luteberget},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Improving Online Railway Deadlock Detection using a Partial Order
                  Reduction},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {110--127},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.8},
  doi          = {10.4204/EPTCS.348.8},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12579,
  author       = {Blair Archibald and
                  Muffy Calder and
                  Michele Sevegnani and
                  Mengwei Xu},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Observable and Attention-Directing {BDI} Agents for Human-Autonomy
                  Teaming},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {167--175},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.12},
  doi          = {10.4204/EPTCS.348.12},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12579.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12581,
  author       = {Willem Hagemann},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Towards a Formalisation of Justification and Justifiability},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {136--149},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.10},
  doi          = {10.4204/EPTCS.348.10},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12581.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12583,
  author       = {Maike Schwammberger and
                  Gleifer Vaz Alves},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction
                  Rules},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {1--19},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.1},
  doi          = {10.4204/EPTCS.348.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12585,
  author       = {Angelo Ferrando and
                  Rafael C. Cardoso},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Towards Partial Monitoring: It is Always too Soon to Give Up},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {38--53},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.3},
  doi          = {10.4204/EPTCS.348.3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12585.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12586,
  author       = {Kerstin I. Eder and
                  Wen{-}ling Huang and
                  Jan Peleska},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Complete Agent-driven Model-based System Testing for Autonomous Systems},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {54--72},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.4},
  doi          = {10.4204/EPTCS.348.4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12586.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12587,
  author       = {Saswata Paul and
                  Stacy Patterson and
                  Carlos A. Varela},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Formal Guarantees of Timely Progress for Distributed Knowledge Propagation},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {73--91},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.5},
  doi          = {10.4204/EPTCS.348.5},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12587.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12588,
  author       = {Muhammad Usman and
                  Divya Gopinath and
                  Corina S. Pasareanu},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {QuantifyML: How Good is my Machine Learning Model?},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {92--100},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.6},
  doi          = {10.4204/EPTCS.348.6},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12588.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12589,
  author       = {Mario Gleirscher and
                  Jan Peleska},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Complete Test of Synthesised Safety Supervisors for Robots and Autonomous
                  Systems},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {101--109},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.7},
  doi          = {10.4204/EPTCS.348.7},
  timestamp    = {Mon, 29 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12589.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12590,
  author       = {Sascha Lehmann and
                  Antje Rogalla and
                  Maximilian Neidhardt and
                  Alexander Schlaefer and
                  Sibylle Schupp},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Online Strategy Synthesis for Safe and Optimized Control of Steerable
                  Needles},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {128--135},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.9},
  doi          = {10.4204/EPTCS.348.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12590.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2110-12591,
  author       = {Siddhartha Bhattacharyya and
                  Jennifer A. Davis and
                  Anubhav Gupta and
                  Nandith Narayan and
                  Michael Matessa},
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Assuring Increasingly Autonomous Systems in Human-Machine Teams: An
                  Urban Air Mobility Case Study},
  booktitle    = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  pages        = {150--166},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348.11},
  doi          = {10.4204/EPTCS.348.11},
  timestamp    = {Sun, 02 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-12591.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2110-11527,
  editor       = {Marie Farrell and
                  Matt Luckcuck},
  title        = {Proceedings Third Workshop on Formal Methods for Autonomous Systems,
                  {FMAS} 2021, Virtual, October 21-22, 2021},
  series       = {{EPTCS}},
  volume       = {348},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.348},
  doi          = {10.4204/EPTCS.348},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-11527.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.