Article,
Formal Methods for Autonomous Systems.
T. Wongpiromsarn, M. Ghasemi, M. Cubuktepe, G. Bakirtzis, S. Carr, M. Karabag, C. Neary, P. Gohari, and U. Topcu.Found. Trends Syst. Control., 10 (3-4): 180-407 (2023)
Meta data
- BibTeX key
- journals/ftsys/WongpiromsarnGCBCKNGT23
- entry type
- article
- year
- 2023
- journal
- Found. Trends Syst. Control.
- number
- 3-4
- pages
- 180-407
- volume
- 10
- ee
- https://doi.org/10.1561/2600000029
- url
- http://dblp.uni-trier.de/db/journals/ftsys/ftsys10.html#WongpiromsarnGCBCKNGT23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/ftsys/WongpiromsarnGCBCKNGT23
%A Wongpiromsarn, Tichakorn
%A Ghasemi, Mahsa
%A Cubuktepe, Murat
%A Bakirtzis, Georgios
%A Carr, Steven
%A Karabag, Mustafa O.
%A Neary, Cyrus
%A Gohari, Parham
%A Topcu, Ufuk
%D 2023
%J Found. Trends Syst. Control.
%K dblp
%N 3-4
%P 180-407
%T Formal Methods for Autonomous Systems.
%U http://dblp.uni-trier.de/db/journals/ftsys/ftsys10.html#WongpiromsarnGCBCKNGT23
%V 10
@article{journals/ftsys/WongpiromsarnGCBCKNGT23,
added-at = {2023-11-12T00:00:00.000+0100},
author = {Wongpiromsarn, Tichakorn and Ghasemi, Mahsa and Cubuktepe, Murat and Bakirtzis, Georgios and Carr, Steven and Karabag, Mustafa O. and Neary, Cyrus and Gohari, Parham and Topcu, Ufuk},
biburl = {https://www.bibsonomy.org/bibtex/28351eb6cfbd65d6c4b482620c48fc0be/dblp},
ee = {https://doi.org/10.1561/2600000029},
interhash = {dbc16affdfb956f0cfb0c979a9c3bcd6},
intrahash = {8351eb6cfbd65d6c4b482620c48fc0be},
journal = {Found. Trends Syst. Control.},
keywords = {dblp},
number = {3-4},
pages = {180-407},
timestamp = {2024-04-08T16:22:28.000+0200},
title = {Formal Methods for Autonomous Systems.},
url = {http://dblp.uni-trier.de/db/journals/ftsys/ftsys10.html#WongpiromsarnGCBCKNGT23},
volume = 10,
year = 2023
}