- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: NARODYTSKA, Nina, Hrsg., Guy AMIR, Hrsg., Guy KATZ, Hrsg. und andere. Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems : FoMLAS2023. EasyChair, 2023. Kalpa Publications in Computing. 16. ISSN 2515-1762. Verfügbar unter: doi: 10.29007/pvtn
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
KOPS Universität Konstanz
- (when)
-
2023
- Creator
- URN
-
urn:nbn:de:bsz:352-2-vqdbjrm55ool7
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Boetius, David
- Leue, Stefan
- KOPS Universität Konstanz
Time of origin
- 2023
Other Objects (12)
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata
Estimation of interregional freight flows with a gravity model by OLS estimation, Poisson and neural network specifications
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata
Estimation of interregional freight flows with a gravity model by OLS estimation, Poisson and neural network specifications
Formally verifying decompositions of stochastic specifications
Verifying temporal specifications of Java programs
Implementing and Verifying MSC Specifications Using Promela/XSpin
Supporting and verifying transient behavior specifications in chaos engineering
Verifying OCL specifications of UML models : tool support and compositionakity
Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin : Extended Abstract
Verifying OPAL, Pt. 1.. Verifying in the small
Verifying Negative Sentences
Device Specifications for Neural Network Training with Analog Resistive Cross‐Point Arrays Using Tiki‐Taka Algorithms
Verifying real-time systems
Self-verifying cellular automata