Search dblp for Publications

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

 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}
}
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.