Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/fmas:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-2311-09776,
author = {Astrid Rakow and
Mehrnoush Hajnorouzi and
Akhila Bairy},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {What to tell when? - Information Provision as a Game},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {1--9},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.1},
doi = {10.4204/EPTCS.395.1},
timestamp = {Tue, 07 May 2024 20:16:46 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09776.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09777,
author = {Asieh Salehi Fathabadi and
Vahid Yazdanpanah},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Trust Modelling and Verification Using Event-B},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {10--16},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.2},
doi = {10.4204/EPTCS.395.2},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09778,
author = {Jan Ro{\ss}bach and
Michael Leuschel},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Certified Control for Train Sign Classification},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {69--76},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.5},
doi = {10.4204/EPTCS.395.5},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09780,
author = {Christopher Chandler and
Bernd Porr and
Alice Miller and
Giulia Lafratta},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Model Checking for Closed-Loop Robot Reactive Planning},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {77--94},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.6},
doi = {10.4204/EPTCS.395.6},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09781,
author = {Sergiy Bogomolov and
Taylor T. Johnson and
Diego Manzanas Lopez and
Patrick Musau and
Paulius Stankaitis},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Online Reachability Analysis and Space Convexification for Autonomous
Racing},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {95--112},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.7},
doi = {10.4204/EPTCS.395.7},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09781.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09784,
author = {Srajan Goyal and
Alberto Griggio and
Jacob Kimblad and
Stefano Tonetta},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Automatic Generation of Scenarios for System-level Simulation-based
Verification of Autonomous Driving Systems},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {113--129},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.8},
doi = {10.4204/EPTCS.395.8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09785,
author = {Christopher Bischopink},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Enforcing Timing Properties in Motorway Traffic},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {130--143},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.9},
doi = {10.4204/EPTCS.395.9},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09785.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09786,
author = {Thom S. Badings and
Nils Jansen and
Licio Romao and
Alessandro Abate},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Correct-by-Construction Control for Stochastic and Uncertain Dynamical
Models via Formal Abstractions},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {144--152},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.10},
doi = {10.4204/EPTCS.395.10},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09786.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09787,
author = {Francesco Belardinelli and
Angelo Ferrando and
Vadim Malvone},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {3vLTL: {A} Tool to Generate Automata for Three-valued {LTL}},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {180--187},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.13},
doi = {10.4204/EPTCS.395.13},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09788,
author = {C{\'{e}}line Bellanger and
Pierre{-}Lo{\"{\i}}c Garoche and
Matthieu Martel and
C{\'{e}}lia Picard},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Towards Proved Formal Specification and Verification of {STL} Operators
as Synchronous Observers},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {188--204},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.14},
doi = {10.4204/EPTCS.395.14},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09809,
author = {Thomas Flinkow and
Barak A. Pearlmutter and
Rosemary Monahan},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Comparing Differentiable Logics for Learning Systems: {A} Research
Preview},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {17--29},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.3},
doi = {10.4204/EPTCS.395.3},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09810,
author = {Ashfaq Farooqui and
Behrooz Sangchoolie},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Towards Formal Fault Injection for Safety Assessment of Automated
Systems},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {153--161},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.11},
doi = {10.4204/EPTCS.395.11},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09810.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-09811,
author = {Tommaso Mannucci and
Julio de Oliveira Filho},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Runtime Verification of Learning Properties for Reinforcement Learning
Algorithms},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {205--219},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.15},
doi = {10.4204/EPTCS.395.15},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-09811.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-10780,
author = {L{\'{a}}szl{\'{o}} Antal and
Hana Masara and
Erika {\'{A}}brah{\'{a}}m},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Extending Neural Network Verification to a Larger Family of Piece-wise
Linear Activation Functions},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {30--68},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.4},
doi = {10.4204/EPTCS.395.4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-10780.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2311-12130,
author = {Neelanjana Pal and
Taylor T. Johnson},
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Formal Verification of Long Short-Term Memory based Audio Classifiers:
{A} Star based Approach},
booktitle = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
pages = {162--179},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395.12},
doi = {10.4204/EPTCS.395.12},
timestamp = {Fri, 22 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-12130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2311-08987,
editor = {Marie Farrell and
Matt Luckcuck and
Mario Gleirscher and
Maike Schwammberger},
title = {Proceedings Fifth International Workshop on Formal Methods for Autonomous
Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of
November 2023},
series = {{EPTCS}},
volume = {395},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.395},
doi = {10.4204/EPTCS.395},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14028,
author = {Predrag Filipovikj and
Gustav Ung and
Dilian Gurov and
Mattias Nyberg},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Bounded Invariant Checking for Stateflow},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {38--52},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.3},
doi = {10.4204/EPTCS.371.3},
timestamp = {Mon, 14 Nov 2022 14:12:09 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14028.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14030,
author = {Ivan Perez and
Anastasia Mavridou and
Thomas Pressburger and
Alexander Will and
Patrick J. Martin},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Monitoring {ROS2:} from Requirements to Autonomous Robots},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {208--216},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.15},
doi = {10.4204/EPTCS.371.15},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14030.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14031,
author = {Bernhard K. Aichernig and
Edi Muskardin and
Andrea Pferscher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Active vs. Passive: {A} Comparison of Automata Learning Paradigms
for Network Protocols},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {1--19},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.1},
doi = {10.4204/EPTCS.371.1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14032,
author = {Dominik Grundt and
Anna K{\"{o}}hne and
Ishan Saxena and
Ralf Stemmer and
Bernd Westphal and
Eike M{\"{o}}hlmann},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Runtime Monitoring of Complex System Requirements for Autonomous
Driving Functions},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {53--61},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.4},
doi = {10.4204/EPTCS.371.4},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14034,
author = {Maike Schwammberger and
Verena Kl{\"{o}}s},
editor = {Matt Luckcuck and
Marie Farrell},
title = {From Specification Models to Explanation Models: An Extraction and
Refinement Process for Timed Automata},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {20--37},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.2},
doi = {10.4204/EPTCS.371.2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14034.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14035,
author = {Joe Collenette and
Louise A. Dennis and
Michael Fisher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Advising Autonomous Cars about the Rules of the Road},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {62--76},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.5},
doi = {10.4204/EPTCS.371.5},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14036,
author = {Gleifer Vaz Alves and
Maike Schwammberger},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards a Digital Highway Code using Formal Modelling and Verification
of Timed Automata},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {77--85},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.6},
doi = {10.4204/EPTCS.371.6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14038,
author = {Astrid Rakow},
editor = {Matt Luckcuck and
Marie Farrell},
title = {A Doxastic Characterisation of Autonomous Decisive Systems},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {103--119},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.8},
doi = {10.4204/EPTCS.371.8},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14039,
author = {Baptiste Pelletier and
Charles Lesire and
David Doose and
Karen Godary{-}Dejean and
Charles Dram{\'{e}}{-}Maign{\'{e}}},
editor = {Matt Luckcuck and
Marie Farrell},
title = {SkiNet, {A} Petri Net Generation Tool for the Verification of Skillset-based
Autonomous Systems},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {120--138},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.9},
doi = {10.4204/EPTCS.371.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14040,
author = {Gricel V{\'{a}}zquez and
Radu Calinescu and
Javier C{\'{a}}mara},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Scheduling of Missions with Constrained Tasks for Heterogeneous Robot
Systems},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {156--174},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.11},
doi = {10.4204/EPTCS.371.11},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14041,
author = {Jordan Hamilton and
Ioannis Stefanakos and
Radu Calinescu and
Javier C{\'{a}}mara},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Adaptive Planning of Assistive-care Robot Tasks},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {175--183},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.12},
doi = {10.4204/EPTCS.371.12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14042,
author = {Yi Yang and
Tom Holvoet},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Generating Safe Autonomous Decision-Making in {ROS}},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {184--192},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.13},
doi = {10.4204/EPTCS.371.13},
timestamp = {Sun, 20 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14044,
author = {Rafael C. Cardoso and
Angelo Ferrando and
Michael Fisher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Extending Attack-Fault Trees with Runtime Verification},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {193--207},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.14},
doi = {10.4204/EPTCS.371.14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-14045,
author = {Matteo Tadiello and
Elena Troubitsyna},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Verifying Safety of Behaviour Trees in Event-B},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {139--155},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.10},
doi = {10.4204/EPTCS.371.10},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-14045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-15457,
author = {Surya Murthy and
Natasha A. Neogi and
Suda Bharadwaj},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Scheduling for Urban Air Mobility using Safe Learning},
booktitle = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
pages = {86--102},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371.7},
doi = {10.4204/EPTCS.371.7},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-15457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2209-13181,
editor = {Matt Luckcuck and
Marie Farrell},
title = {Proceedings Fourth International Workshop on Formal Methods for Autonomous
Systems {(FMAS)} and Fourth International Workshop on Automated and
verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022,
and Fourth International Workshop on Automated and verifiable Software
sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September
2022},
series = {{EPTCS}},
volume = {371},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.371},
doi = {10.4204/EPTCS.371},
timestamp = {Mon, 14 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-13181.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 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 = {Fri, 01 Mar 2024 00:00:00 +0100},
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}
}
@inproceedings{DBLP:journals/corr/abs-2012-01647,
author = {Mehrnoosh Askarpour},
editor = {Matt Luckcuck and
Marie Farrell},
title = {How to Formally Model Human in Collaborative Robotics},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {1--14},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.1},
doi = {10.4204/EPTCS.329.1},
timestamp = {Tue, 16 Aug 2022 14:39:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01647.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-01648,
author = {Rafael C. Cardoso and
Louise A. Dennis and
Marie Farrell and
Michael Fisher and
Matt Luckcuck},
editor = {Matt Luckcuck and
Marie Farrell},
title = {Towards Compositional Verification for Modular Robotic Systems},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {15--22},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.2},
doi = {10.4204/EPTCS.329.2},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-01649,
author = {Mario Gleirscher},
editor = {Matt Luckcuck and
Marie Farrell},
title = {{YAP:} Tool Support for Deriving Safety Controllers from Hazard Analysis
and Risk Assessments},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {31--47},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.4},
doi = {10.4204/EPTCS.329.4},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-01651,
author = {Fatma Kachi and
Chafia Bouanaka and
Souheir Merkouche},
editor = {Matt Luckcuck and
Marie Farrell},
title = {A Formal Model for Quality-Driven Decision Making in Self-Adaptive
Systems},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {48--64},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.5},
doi = {10.4204/EPTCS.329.5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01651.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2012-03745,
author = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Esther Conrad and
Alwyn Goodloe and
Laura Titolo and
Ivan Perez and
Swee Balachandran and
Dimitra Giannakopoulou and
Anastasia Mavridou and
Thomas Pressburger},
editor = {Matt Luckcuck and
Marie Farrell},
title = {From Requirements to Autonomous Flight: An Overview of the Monitoring
{ICAROUS} Project},
booktitle = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
pages = {23--30},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329.3},
doi = {10.4204/EPTCS.329.3},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-03745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2012-01176,
editor = {Matt Luckcuck and
Marie Farrell},
title = {Proceedings Second Workshop on Formal Methods for Autonomous Systems,
{FMAS} 2020, Virtual, December 7, 2020},
series = {{EPTCS}},
volume = {329},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.329},
doi = {10.4204/EPTCS.329},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-01176.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-25 20:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
