Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2005-02649,
  author       = {Tuomas Halvari and
                  Jukka K. Nurminen and
                  Tommi Mikkonen},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Testing the Robustness of AutoML Systems},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {103--116},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.8},
  doi          = {10.4204/EPTCS.319.8},
  timestamp    = {Wed, 28 Sep 2022 08:59:54 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-02649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11737,
  author       = {Mehrnoosh Askarpour and
                  Matteo Rossi and
                  Omer Tiryakiler},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Co-Simulation of Human-Robot Collaboration: from Temporal Logic to
                  3D Simulation},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {1--8},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.1},
  doi          = {10.4204/EPTCS.319.1},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11737.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11738,
  author       = {Livia Lestingi and
                  Mehrnoosh Askarpour and
                  Marcello M. Bersani and
                  Matteo Rossi},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Statistical Model Checking of Human-Robot Interaction Scenarios},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {9--17},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.2},
  doi          = {10.4204/EPTCS.319.2},
  timestamp    = {Mon, 17 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11738.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11739,
  author       = {Victoria Edwards and
                  Loy McGuire and
                  Signe A. Redfield},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Establishing Reliable Robot Behavior using Capability Analysis Tables},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {19--35},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.3},
  doi          = {10.4204/EPTCS.319.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11740,
  author       = {Connor Basich and
                  Justin Svegliato and
                  Kyle Hollins Wray and
                  Stefan J. Witwicki and
                  Shlomo Zilberstein},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Improving Competence for Reliable Autonomy},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {37--53},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.4},
  doi          = {10.4204/EPTCS.319.4},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11740.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11741,
  author       = {Eleonora Iotti and
                  Giuseppe Petrosino and
                  Stefania Monica and
                  Federico Bergenti},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Exploratory Experiments on Programming Autonomous Robots in Jadescript},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {55--67},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.5},
  doi          = {10.4204/EPTCS.319.5},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11741.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11742,
  author       = {Davide Ancona and
                  Chiara Bassano and
                  Manuela Chessa and
                  Viviana Mascardi and
                  Fabio Solari},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Engineering Reliable Interactions in the Reality-Artificiality Continuum},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {69--80},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.6},
  doi          = {10.4204/EPTCS.319.6},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11742.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-11743,
  author       = {Peter Stringer and
                  Rafael C. Cardoso and
                  Xiaowei Huang and
                  Louise A. Dennis},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Adaptable and Verifiable {BDI} Reasoning},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {117--125},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.9},
  doi          = {10.4204/EPTCS.319.9},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11743.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-12500,
  author       = {Sim{\'{o}}n C. Smith and
                  Subramanian Ramamoorthy},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Semi-supervised Learning From Demonstration Through Program Synthesis:
                  An Inspection Robot Case Study},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {81--101},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.7},
  doi          = {10.4204/EPTCS.319.7},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-12500.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2007-16089,
  author       = {Chidiebere Onyedinma and
                  Patrick Gavigan and
                  Babak Esfandiari},
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Toward Campus Mail Delivery Using {BDI}},
  booktitle    = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  pages        = {127--143},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319.10},
  doi          = {10.4204/EPTCS.319.10},
  timestamp    = {Mon, 21 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-16089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2007-11260,
  editor       = {Rafael C. Cardoso and
                  Angelo Ferrando and
                  Daniela Briola and
                  Claudio Menghi and
                  Tobias Ahlbrecht},
  title        = {Proceedings of the First Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September
                  2020},
  series       = {{EPTCS}},
  volume       = {319},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.319},
  doi          = {10.4204/EPTCS.319},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2007-11260.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.