Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2112-10578,
  author       = {Athanasios Lentzas and
                  Dimitris Vrakas},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {From Robot Self-Localization to Global-Localization: An {RSSI} Based
                  Approach},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {18--25},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.4},
  doi          = {10.4204/EPTCS.391.4},
  timestamp    = {Mon, 06 Nov 2023 15:17:28 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2112-10578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02339,
  author       = {Jan Vermaelen and
                  Tom Holvoet},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Safe and Robust Robot Behavior Planning via Constraint Programming},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {26--41},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.5},
  doi          = {10.4204/EPTCS.391.5},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02339.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02341,
  author       = {Robert Abela and
                  Christian Colombo and
                  Axel Curmi and
                  Mattea Fenech and
                  Mark Vella and
                  Angelo Ferrando},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Runtime Verification for Trustworthy Computing},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {49--62},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.7},
  doi          = {10.4204/EPTCS.391.7},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02341.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02342,
  author       = {Vadim Malvone},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {The Impact of Strategies and Information in Model Checking for Multi-Agent
                  Systems},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {63--70},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.8},
  doi          = {10.4204/EPTCS.391.8},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02342.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02343,
  author       = {Sven Signer and
                  Ian Gray},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Adaptive Application Behaviour for Robot Swarms using Mixed-Criticality},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {71--82},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.9},
  doi          = {10.4204/EPTCS.391.9},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02343.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02344,
  author       = {Christopher R. Anderson and
                  Louise A. Dennis},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Autonomous Systems' Safety Cases for use in {UK} Nuclear Environments},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {83--88},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.10},
  doi          = {10.4204/EPTCS.391.10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02344.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02345,
  author       = {Oded Blumenthal and
                  Guy Shani},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Rollout Heuristics for Online Stochastic Contingent Planning},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {89--101},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.11},
  doi          = {10.4204/EPTCS.391.11},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02345.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02346,
  author       = {Aya Kherrour and
                  Marco Robol and
                  Marco Roveri and
                  Paolo Giorgini},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Evaluating Heuristic Search Algorithms in Pathfinding: {A} Comprehensive
                  Study on Performance Metrics and Domain Parameters},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {102--112},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.12},
  doi          = {10.4204/EPTCS.391.12},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02346.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02353,
  author       = {D{\'{e}}borah Conforto Nedelmann and
                  J{\'{e}}r{\^{o}}me Lacan and
                  Caroline P. C. Chanel},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Online Proactive Multi-Task Assignment with Resource Availability
                  Anticipation},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {3--17},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.3},
  doi          = {10.4204/EPTCS.391.3},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02353.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02355,
  author       = {Davide Catta and
                  Vadim Malvone and
                  Aniello Murano},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Reasoning about Intuitionistic Computation Tree Logic},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {42--48},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.6},
  doi          = {10.4204/EPTCS.391.6},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02355.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-02356,
  author       = {Caroline Bonhomme and
                  Jean{-}Louis Dufour},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {{ORTAC+} : {A} User Friendly Domain Specific Language for Multi-Agent
                  Mission Planning},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {127--133},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.14},
  doi          = {10.4204/EPTCS.391.14},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-02356.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2310-07731,
  author       = {Roland Godet and
                  Charles Lesire and
                  Arthur Bit{-}Monnot},
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Multi-Robot Task Planning to Secure Human Group Progress},
  booktitle    = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  pages        = {113--126},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391.13},
  doi          = {10.4204/EPTCS.391.13},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-07731.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2310-00333,
  editor       = {Angelo Ferrando and
                  Rafael Cardoso},
  title        = {Proceedings of the Third Workshop on Agents and Robots for reliable
                  Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023},
  series       = {{EPTCS}},
  volume       = {391},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.391},
  doi          = {10.4204/EPTCS.391},
  timestamp    = {Mon, 06 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-00333.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.