|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Thom S. Badings, Nils Jansen 0001, Licio Romao, Alessandro Abate |
Correct-by-Construction Control for Stochastic and Uncertain Dynamical Models via Formal Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 144-152, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ashfaq Farooqui, Behrooz Sangchoolie |
Towards Formal Fault Injection for Safety Assessment of Automated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 153-161, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Neelanjana Pal, Taylor T. Johnson |
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 162-179, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Asieh Salehi Fathabadi, Vahid Yazdanpanah |
Trust Modelling and Verification Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 10-16, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
Comparing Differentiable Logics for Learning Systems: A Research Preview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 17-29, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Bischopink |
Enforcing Timing Properties in Motorway Traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 130-143, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | László Antal, Hana Masara, Erika Ábrahám |
Extending Neural Network Verification to a Larger Family of Piece-wise Linear Activation Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 30-68, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis |
Online Reachability Analysis and Space Convexification for Autonomous Racing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 95-112, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Srajan Goyal, Alberto Griggio, Jacob Kimblad, Stefano Tonetta |
Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 113-129, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jan Roßbach, Michael Leuschel |
Certified Control for Train Sign Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 69-76, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy |
What to tell when? - Information Provision as a Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 1-9, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger (eds.) |
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard |
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 188-204, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Chandler, Bernd Porr, Alice Miller 0001, Giulia Lafratta |
Model Checking for Closed-Loop Robot Reactive Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 77-94, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone |
3vLTL: A Tool to Generate Automata for Three-valued LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 180-187, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Mannucci, Julio de Oliveira Filho |
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMAS@iFM ![In: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023., pp. 205-219, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|