|
|
|
|
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.  |
FMAS@iFM  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashfaq Farooqui, Behrooz Sangchoolie |
Towards Formal Fault Injection for Safety Assessment of Automated Systems. |
FMAS@iFM |
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. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Asieh Salehi Fathabadi, Vahid Yazdanpanah |
Trust Modelling and Verification Using Event-B. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Flinkow, Barak A. Pearlmutter, Rosemary Monahan |
Comparing Differentiable Logics for Learning Systems: A Research Preview. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Bischopink |
Enforcing Timing Properties in Motorway Traffic. |
FMAS@iFM |
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. |
FMAS@iFM |
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. |
FMAS@iFM |
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. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Roßbach, Michael Leuschel |
Certified Control for Train Sign Classification. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Astrid Rakow, Mehrnoush Hajnorouzi, Akhila Bairy |
What to tell when? - Information Provision as a Game. |
FMAS@iFM |
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. |
FMAS@iFM |
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. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Chandler, Bernd Porr, Alice Miller 0001, Giulia Lafratta |
Model Checking for Closed-Loop Robot Reactive Planning. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone |
3vLTL: A Tool to Generate Automata for Three-valued LTL. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tommaso Mannucci, Julio de Oliveira Filho |
Runtime Verification of Learning Properties for Reinforcement Learning Algorithms. |
FMAS@iFM |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license