default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "formal vehicle"
download as .bib file
@article{DBLP:journals/ijrr/HekmatnejadHDYF24,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Jyotirmoy V. Deshmukh and
Yezhou Yang and
Georgios Fainekos},
title = {Formalizing and evaluating requirements of perception systems for
automated vehicles using spatio-temporal perception logic},
journal = {Int. J. Robotics Res.},
volume = {43},
number = {2},
pages = {203--238},
year = {2024},
url = {https://doi.org/10.1177/02783649231223546},
doi = {10.1177/02783649231223546},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/HekmatnejadHDYF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/itpro/Provan24,
author = {Gregory M. Provan},
title = {Formal Methods for Autonomous Vehicles},
journal = {{IT} Prof.},
volume = {26},
number = {1},
pages = {50--56},
year = {2024},
url = {https://doi.org/10.1109/MITP.2024.3356158},
doi = {10.1109/MITP.2024.3356158},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itpro/Provan24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/HuangLY24,
author = {Zhiyuan Huang and
Weiyao Lan and
Xiao Yu},
title = {A Formal Control Framework of Autonomous Vehicle for Signal Temporal
Logic Tasks and Obstacle Avoidance},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {9},
number = {1},
pages = {1930--1940},
year = {2024},
url = {https://doi.org/10.1109/TIV.2023.3283055},
doi = {10.1109/TIV.2023.3283055},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/HuangLY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icic/LuSSLG24,
author = {Yu Lu and
Pan Sun and
Shijie Shi and
Meng Li and
Huilin Ge},
editor = {De{-}Shuang Huang and
Xiankun Zhang and
Chuanlei Zhang},
title = {Formal Verification of Path Planning Safety and Reachability in Unmanned
Surface Vehicles},
booktitle = {Advanced Intelligent Computing Technology and Applications - 20th
International Conference, {ICIC} 2024, Tianjin, China, August 5-8,
2024, Proceedings, Part {V} {(LNAI)}},
series = {Lecture Notes in Computer Science},
volume = {14879},
pages = {15--26},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-5675-9\_2},
doi = {10.1007/978-981-97-5675-9\_2},
timestamp = {Thu, 29 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icic/LuSSLG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/GuidottiPP24a,
author = {Dario Guidotti and
Laura Pandolfo and
Luca Pulina},
editor = {Hamido Fujita and
Richard Cimler and
Andres Hernandez{-}Matamoros and
Moonis Ali},
title = {Formal Verification of Neural Networks: {A} "Step Zero" Approach for
Vehicle Detection},
booktitle = {Advances and Trends in Artificial Intelligence. Theory and Applications
- 37th International Conference on Industrial, Engineering and Other
Applications of Applied Intelligent Systems, {IEA/AIE} 2024, Hradec
Kralove, Czech Republic, July 10-12, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14748},
pages = {297--309},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-981-97-4677-4\_25},
doi = {10.1007/978-981-97-4677-4\_25},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/GuidottiPP24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/most/WangMC24,
author = {Yuxuan Wang and
Brendan Makar and
Jingshu Chen},
title = {Poster: VeriCharge: Towards {A} Formal Framework for Designing and
Verifying Secure and Transparent Vehicle-to-Vehicle Transaction Platforms},
booktitle = {{IEEE} International Conference on Mobility, Operations, Services
and Technologies, {MOST} 2024, Dallas, TX, USA, May 1-3, 2024},
pages = {269--271},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/MOST60774.2024.00036},
doi = {10.1109/MOST60774.2024.00036},
timestamp = {Fri, 16 Aug 2024 11:28:11 +0200},
biburl = {https://dblp.org/rec/conf/most/WangMC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-04875,
author = {Tsutomu Kobayashi and
Martin Bondu and
Fuyuki Ishikawa},
title = {Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous
Vehicle via Event-B Refinement},
journal = {CoRR},
volume = {abs/2401.04875},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.04875},
doi = {10.48550/ARXIV.2401.04875},
eprinttype = {arXiv},
eprint = {2401.04875},
timestamp = {Wed, 24 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-04875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-01093,
author = {Rong Gu and
Kaige Tan and
Andreas Holck H{\o}eg{-}Petersen and
Lei Feng and
Kim Guldstrand Larsen},
title = {CommonUppRoad: {A} Framework of Formal Modelling, Verifying, Learning,
and Visualisation of Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2408.01093},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.01093},
doi = {10.48550/ARXIV.2408.01093},
eprinttype = {arXiv},
eprint = {2408.01093},
timestamp = {Mon, 09 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-01093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcns/LavaeiLCF23,
author = {Abolfazl Lavaei and
Luigi Di Lillo and
Andrea Censi and
Emilio Frazzoli},
title = {Formal Estimation of Collision Risks for Autonomous Vehicles: {A}
Compositional Data-Driven Approach},
journal = {{IEEE} Trans. Control. Netw. Syst.},
volume = {10},
number = {1},
pages = {407--418},
year = {2023},
url = {https://doi.org/10.1109/TCNS.2022.3203363},
doi = {10.1109/TCNS.2022.3203363},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcns/LavaeiLCF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/ZhaoYPR23,
author = {Tong Zhao and
Ekim Yurtsever and
Joel A. Paulson and
Giorgio Rizzoni},
title = {Formal Certification Methods for Automated Vehicle Safety Assessment},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {8},
number = {1},
pages = {232--249},
year = {2023},
url = {https://doi.org/10.1109/TIV.2022.3170517},
doi = {10.1109/TIV.2022.3170517},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tiv/ZhaoYPR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/trob/CaiPCM23,
author = {Karena X. Cai and
Tung Phan{-}Minh and
Soon{-}Jo Chung and
Richard M. Murray},
title = {Rules of the Road: Formal Guarantees for Autonomous Vehicles With
Behavioral Contract Design},
journal = {{IEEE} Trans. Robotics},
volume = {39},
number = {3},
pages = {1853--1872},
year = {2023},
url = {https://doi.org/10.1109/TRO.2023.3247951},
doi = {10.1109/TRO.2023.3247951},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/trob/CaiPCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/ChoualiBMM23,
author = {Samir Chouali and
Azzedine Boukerche and
Ahmed Mostefaoui and
Mohammed Amine Merzoug},
title = {Ensuring the Compatibility of Autonomous Electric Vehicles Components
Through a Formal Approach Based on Interaction Protocols},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {72},
number = {2},
pages = {1530--1544},
year = {2023},
url = {https://doi.org/10.1109/TVT.2022.3209339},
doi = {10.1109/TVT.2022.3209339},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvt/ChoualiBMM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/LauserK23,
author = {Timm Lauser and
Christoph Krau{\ss}},
title = {Formal Security Analysis of Vehicle Diagnostic Protocols},
booktitle = {Proceedings of the 18th International Conference on Availability,
Reliability and Security, {ARES} 2023, Benevento, Italy, 29 August
2023- 1 September 2023},
pages = {21:1--21:11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600160.3600184},
doi = {10.1145/3600160.3600184},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/LauserK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FranzleHDRS23,
author = {Martin Fr{\"{a}}nzle and
Willem Hagemann and
Werner Damm and
Astrid Rakow and
Mani Swaminathan},
editor = {Anne E. Haxthausen and
Wen{-}ling Huang and
Markus Roggenbach},
title = {Safer Than Perception: Assuring Confidence in Safety-Critical Decisions
of Automated Vehicles},
booktitle = {Applicable Formal Methods for Safe Industrial Products - Essays Dedicated
to Jan Peleska on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {14165},
pages = {180--201},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-40132-9\_12},
doi = {10.1007/978-3-031-40132-9\_12},
timestamp = {Wed, 20 Sep 2023 17:19:14 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FranzleHDRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KobayashiBI23,
author = {Tsutomu Kobayashi and
Martin Bondu and
Fuyuki Ishikawa},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous
Vehicle via Event-B Refinement},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {533--549},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_30},
doi = {10.1007/978-3-031-27481-7\_30},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KobayashiBI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rulemlrr/ManasP23,
author = {Kumar Manas and
Adrian Paschke},
editor = {Anna Fensel and
Ana Ozaki and
Dumitru Roman and
Ahmet Soylu},
title = {Semantic Role Assisted Natural Language Rule Formalization for Intelligent
Vehicle},
booktitle = {Rules and Reasoning - 7th International Joint Conference, RuleML+RR
2023, Oslo, Norway, September 18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14244},
pages = {175--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45072-3\_13},
doi = {10.1007/978-3-031-45072-3\_13},
timestamp = {Wed, 18 Oct 2023 20:03:28 +0200},
biburl = {https://dblp.org/rec/conf/rulemlrr/ManasP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbesc/HoffmannF23,
author = {Jos{\'{e}} Luis Conradi Hoffmann and
Ant{\^{o}}nio Augusto Fr{\"{o}}hlich},
title = {Data-Centric Design for Formal Verification of Vehicle Monitoring},
booktitle = {{XIII} Brazilian Symposium on Computing Systems Engineering, {SBESC}
2023, Porto Alegre, Brazil, November 21-24, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SBESC60926.2023.10324280},
doi = {10.1109/SBESC60926.2023.10324280},
timestamp = {Sat, 02 Dec 2023 14:05:35 +0100},
biburl = {https://dblp.org/rec/conf/sbesc/HoffmannF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Wang0SO23,
author = {Yifan Wang and
Masaki Nakamura and
Kazutoshi Sakakibara and
Yuki Okura},
editor = {Shi{-}Kuo Chang},
title = {Formal Specification and Verification of an Autonomous Vehicle Control
System by the OTS/CafeOBJ method {(S)}},
booktitle = {The 35th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July
1-10, 2023},
pages = {363--366},
publisher = {{KSI} Research Inc.},
year = {2023},
url = {https://doi.org/10.18293/SEKE2023-170},
doi = {10.18293/SEKE2023-170},
timestamp = {Wed, 06 Sep 2023 16:44:18 +0200},
biburl = {https://dblp.org/rec/conf/seke/Wang0SO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/syscon/MoghadasiKCGLF23,
author = {Negin Moghadasi and
Amar Kulkarni and
Dustin Crayton and
Robert J. Grissom and
James H. Lambert and
Lu Feng},
title = {Formal Methods in Unmanned Aerial Vehicle Swarm Control for Wildfire
Detection and Monitoring},
booktitle = {{IEEE} International Systems Conference, SysCon 2023, Vancouver, BC,
Canada, April 17-20, 2023},
pages = {1--8},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SysCon53073.2023.10131075},
doi = {10.1109/SYSCON53073.2023.10131075},
timestamp = {Sat, 01 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/syscon/MoghadasiKCGLF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/sci/RashidHA23,
author = {Adnan Rashid and
Osman Hasan and
Sa'ed Abed},
editor = {Ahmad Taher Azar and
Ibraheem Kasim Ibraheem and
Amjad Jaleel Humaidi},
title = {Using an Interactive Theorem Prover for Formally Analyzing the Dynamics
of the Unmanned Aerial Vehicles},
booktitle = {Mobile Robot: Motion Control and Path Planning},
series = {Studies in Computational Intelligence},
volume = {1090},
pages = {253--282},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-26564-8\_9},
doi = {10.1007/978-3-031-26564-8\_9},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sci/RashidHA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05106,
author = {Till Schallau and
Stefan Naujokat and
Fiona Kullmann and
Falk Howar},
title = {Tree-Based Scenario Classification: {A} Formal Framework for Coverage
Analysis on Test Drives of Autonomous Vehicles},
journal = {CoRR},
volume = {abs/2307.05106},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.05106},
doi = {10.48550/ARXIV.2307.05106},
eprinttype = {arXiv},
eprint = {2307.05106},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-05106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Faysal22,
author = {Joelle Abou Faysal},
title = {Formal rule-based scenarios for the design of safe autonomous vehicles.
(Sc{\'{e}}narios formels bas{\'{e}}s sur des r{\`{e}}gles
pour la conception de v{\'{e}}hicules autonomes s{\^{u}}rs)},
school = {C{\^{o}}te d'Azur University, Nice, France},
year = {2022},
url = {https://tel.archives-ouvertes.fr/tel-03814686},
timestamp = {Fri, 18 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/hal/Faysal22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/MunirajHFS22,
author = {Devaprakash Muniraj and
Hans He and
Mazen Farhood and
Daniel J. Stilwell},
title = {A Distributed Connectivity Maintenance Algorithm With Formal Guarantees
for a Communication-Constrained Network of Unmanned Underwater Vehicles},
journal = {{IEEE} Syst. J.},
volume = {16},
number = {2},
pages = {1774--1785},
year = {2022},
url = {https://doi.org/10.1109/JSYST.2021.3065839},
doi = {10.1109/JSYST.2021.3065839},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/MunirajHFS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/YuSBBK22,
author = {Yushu Yu and
Dan Shan and
Ola Benderius and
Christian Berger and
Yue Kang},
title = {Formally Robust and Safe Trajectory Planning and Tracking for Autonomous
Vehicles},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {23},
number = {12},
pages = {22971--22987},
year = {2022},
url = {https://doi.org/10.1109/TITS.2022.3196623},
doi = {10.1109/TITS.2022.3196623},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/YuSBBK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/virology/AdelinNANMK22,
author = {Remi Adelin and
Cyrius Nugier and
Eric Alata and
Vincent Nicomette and
Vincent Migliore and
Mohamed Ka{\^{a}}niche},
title = {Facing emerging challenges in connected vehicles: a formally proven,
legislation compliant, and post-quantum ready security protocol},
journal = {J. Comput. Virol. Hacking Tech.},
volume = {18},
number = {4},
pages = {425--452},
year = {2022},
url = {https://doi.org/10.1007/s11416-022-00426-1},
doi = {10.1007/S11416-022-00426-1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/virology/AdelinNANMK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codit/ZaidiK22,
author = {Noureddaher Zaidi and
Adel Khedher},
title = {A Novel Electronic throttle control strategy based on Grafcet formalism
under real vehicle engine operating conditions},
booktitle = {8th International Conference on Control, Decision and Information
Technologies, CoDIT 2022, Istanbul, Turkey, May 17-20, 2022},
pages = {944--949},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/CoDIT55151.2022.9804148},
doi = {10.1109/CODIT55151.2022.9804148},
timestamp = {Fri, 04 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/codit/ZaidiK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HorelLMMMPRS22,
author = {Jean{-}Baptiste Horel and
Christian Laugier and
Lina Marsso and
Radu Mateescu and
Lucie Muller and
Anshul Paigwar and
Alessandro Renzaglia and
Wendelin Serwe},
editor = {Cristiana Bolchini and
Ingrid Verbauwhede and
Ioana Vatajelu},
title = {Using Formal Conformance Testing to Generate Scenarios for Autonomous
Vehicles},
booktitle = {2022 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2022, Antwerp, Belgium, March 14-23, 2022},
pages = {532--537},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.23919/DATE54114.2022.9774581},
doi = {10.23919/DATE54114.2022.9774581},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HorelLMMMPRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/LavaeiLACF22,
author = {Abolfazl Lavaei and
Luigi Di Lillo and
Margherita Atzei and
Andrea Censi and
Emilio Frazzoli},
editor = {Ezio Bartocci and
Sylvie Putot},
title = {Poster Abstract: Data-Driven Estimation of Collision Risks for Autonomous
Vehicles with Formal Guarantees},
booktitle = {{HSCC} '22: 25th {ACM} International Conference on Hybrid Systems:
Computation and Control, Milan, Italy, May 4 - 6, 2022},
pages = {27:1--27:2},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3501710.3524735},
doi = {10.1145/3501710.3524735},
timestamp = {Thu, 07 Jul 2022 07:10:17 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/LavaeiLACF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/IgarashiNS22,
author = {Tatsuya Igarashi and
Masaki Nakamura and
Kazutoshi Sakakibara},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Formal Verification of the Lim-Jeong-Park-Lee Autonomous Vehicle Control
Protocol using the OTS/CafeOBJ Method},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {574--579},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-028},
doi = {10.18293/SEKE2022-028},
timestamp = {Wed, 21 Sep 2022 17:47:56 +0200},
biburl = {https://dblp.org/rec/conf/seke/IgarashiNS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2203-09885,
author = {Lina Marsso and
Radu Mateescu and
Lucie Muller and
Wendelin Serwe},
editor = {Clemens Dubslaff and
Bas Luttik},
title = {Formally Modeling Autonomous Vehicles in {LNT} for Simulation and
Testing},
booktitle = {Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2022, Munich, Germany, 2nd April 2022},
series = {{EPTCS}},
volume = {355},
pages = {60--117},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.355.5},
doi = {10.4204/EPTCS.355.5},
timestamp = {Wed, 04 May 2022 11:45:33 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-09885.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-14372,
author = {Mohammad Hekmatnejad and
Bardh Hoxha and
Jyotirmoy V. Deshmukh and
Yezhou Yang and
Georgios Fainekos},
title = {Formalizing and Evaluating Requirements of Perception Systems for
Automated Vehicles using Spatio-Temporal Perception Logic},
journal = {CoRR},
volume = {abs/2206.14372},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.14372},
doi = {10.48550/ARXIV.2206.14372},
eprinttype = {arXiv},
eprint = {2206.14372},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-14372.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KimDAPKY021,
author = {Jiyoon Kim and
Daniel Gerbi Duguma and
Philip Virgil Astillo and
Hoonyong Park and
Bonam Kim and
Ilsun You and
Vishal Sharma},
title = {A Formally Verified Security Scheme for Inter-gNB-DU Handover in 5G
Vehicle-to-Everything},
journal = {{IEEE} Access},
volume = {9},
pages = {119100--119117},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3107308},
doi = {10.1109/ACCESS.2021.3107308},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/KimDAPKY021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/Shea-BlymyerA21,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle
Obligations},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {5},
number = {4},
pages = {38:1--38:25},
year = {2021},
url = {https://doi.org/10.1145/3460975},
doi = {10.1145/3460975},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/Shea-BlymyerA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/JiangWSYW21,
author = {Yu Jiang and
Mingzhe Wang and
Zhuo Su and
Yixiao Yang and
Huihui Wang},
title = {Formal Design of Multi-Function Vehicle Bus Controller},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {22},
number = {6},
pages = {3880--3889},
year = {2021},
url = {https://doi.org/10.1109/TITS.2021.3078372},
doi = {10.1109/TITS.2021.3078372},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tits/JiangWSYW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caasafeproc/HuangLH21,
author = {Liyuan Huang and
Yang Liu and
Darong Huang},
title = {Formal verification of special vehicle priority traffic signal light
control system based on {TPN} and {Z}},
booktitle = {{CAA} Symposium on Fault Detection, Supervision, and Safety for Technical
Processes, {SAFEPROCESS} 2021, Chengdu, China, December 17-18, 2021},
pages = {1--5},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SAFEPROCESS52771.2021.9693591},
doi = {10.1109/SAFEPROCESS52771.2021.9693591},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caasafeproc/HuangLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RahmanWN21,
author = {Yousaf Rahman and
Md Tawhid Bin Waez and
Yuming Niu},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {763--775},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_44},
doi = {10.1007/978-3-030-90870-6\_44},
timestamp = {Thu, 11 Nov 2021 16:19:19 +0100},
biburl = {https://dblp.org/rec/conf/fm/RahmanWN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl2/YazdanpanahGS21,
author = {Vahid Yazdanpanah and
Enrico H. Gerding and
Sebastian Stein},
editor = {Martijn Mes and
Eduardo Lalla{-}Ruiz and
Stefan Vo{\ss}},
title = {Formal Methods to Verify and Ensure Self-coordination Abilities in
the Internet of Vehicles},
booktitle = {Computational Logistics - 12th International Conference, {ICCL} 2021,
Enschede, The Netherlands, September 27-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13004},
pages = {410--425},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87672-2\_27},
doi = {10.1007/978-3-030-87672-2\_27},
timestamp = {Thu, 15 Feb 2024 07:42:49 +0100},
biburl = {https://dblp.org/rec/conf/iccl2/YazdanpanahGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/KovacsS21,
author = {L{\'{a}}szl{\'{o}} Kov{\'{a}}cs and
Oszk{\'{a}}r Semer{\'{a}}th},
title = {Towards the Formal Semantics of Scenario Tests for Autonomous Vehicles},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672554},
doi = {10.1109/LADC53747.2021.9672554},
timestamp = {Tue, 25 Jan 2022 09:48:28 +0100},
biburl = {https://dblp.org/rec/conf/ladc/KovacsS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/LiuBTO21,
author = {Minxuan Liu and
Dang Duy Bui and
Duong Dinh Tran and
Kazuhiro Ogata},
title = {Formal Specification and Model Checking of an Autonomous Vehicle Merging
Protocol},
booktitle = {21st {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10,
2021},
pages = {333--342},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/QRS-C55045.2021.00057},
doi = {10.1109/QRS-C55045.2021.00057},
timestamp = {Tue, 12 Apr 2022 17:57:49 +0200},
biburl = {https://dblp.org/rec/conf/qrs/LiuBTO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-02851,
author = {Colin Shea{-}Blymyer and
Houssam Abbas},
title = {Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle
Obligations},
journal = {CoRR},
volume = {abs/2105.02851},
year = {2021},
url = {https://arxiv.org/abs/2105.02851},
eprinttype = {arXiv},
eprint = {2105.02851},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-02851.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-07187,
author = {Abolfazl Lavaei and
Luigi Di Lillo and
Andrea Censi and
Emilio Frazzoli},
title = {Formal Estimation of Collision Risks for Autonomous Vehicles: {A}
Compositional Data-Driven Approach},
journal = {CoRR},
volume = {abs/2112.07187},
year = {2021},
url = {https://arxiv.org/abs/2112.07187},
eprinttype = {arXiv},
eprint = {2112.07187},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-07187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Rizaldi20,
author = {Albert Rizaldi},
title = {Formal specification, monitoring, and verification of autonomous vehicles
in Isabelle/HOL (Formale Spezifikation, Erf{\"{u}}llbarkeitsanalyse,
und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL)},
school = {Technical University of Munich, Germany},
year = {2020},
url = {https://mediatum.ub.tum.de/1484146},
urn = {urn:nbn:de:bvb:91-diss-20191218-1484146-1-4},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Rizaldi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Chen20b,
author = {Wei Chen},
title = {Formal Modeling and Automatic Generation of Test Cases for the Autonomous
Vehicle. (Mod{\'{e}}lisation formelle et g{\'{e}}n{\'{e}}ration
automatique de cas de test pour le v{\'{e}}hicule autonome)},
school = {University of Paris-Saclay, France},
year = {2020},
url = {https://tel.archives-ouvertes.fr/tel-03211428},
timestamp = {Tue, 25 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Chen20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/RizaldiI20,
author = {Albert Rizaldi and
Fabian Immler},
title = {A Formally Verified Checker of the Safe Distance Traffic Rules for
Autonomous Vehicles},
journal = {Arch. Formal Proofs},
volume = {2020},
year = {2020},
url = {https://www.isa-afp.org/entries/Safe\_Distance.html},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/RizaldiI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/AbedRH20,
author = {Sa'ed Abed and
Adnan Rashid and
Osman Hasan},
title = {Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic
Theorem Proving},
journal = {J. Aerosp. Inf. Syst.},
volume = {17},
number = {9},
pages = {481--495},
year = {2020},
url = {https://doi.org/10.2514/1.i010730},
doi = {10.2514/1.I010730},
timestamp = {Sat, 27 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/AbedRH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/SungMCK20,
author = {KyungBok Sung and
KyoungWook Min and
JeongDan Choi and
Byung{-}Cheol Kim},
title = {A Formal and Quantifiable Log Analysis Framework for Test Driving
of Autonomous Vehicles},
journal = {Sensors},
volume = {20},
number = {5},
pages = {1356},
year = {2020},
url = {https://doi.org/10.3390/s20051356},
doi = {10.3390/S20051356},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/SungMCK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/ChoualiBMM20,
author = {Samir Chouali and
Azzedine Boukerche and
Ahmed Mostefaoui and
Mohammed Amine Merzoug},
title = {Formal Verification and Performance Analysis of a New Data Exchange
Protocol for Connected Vehicles},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {69},
number = {12},
pages = {15385--15397},
year = {2020},
url = {https://doi.org/10.1109/TVT.2020.3040817},
doi = {10.1109/TVT.2020.3040817},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvt/ChoualiBMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enase/JabbarKKFB20,
author = {Rateb Jabbar and
Moez Krichen and
Mohamed Kharbeche and
Noora Fetais and
Kamel Barkaoui},
editor = {Raian Ali and
Hermann Kaindl and
Leszek A. Maciaszek},
title = {A Formal Model-Based Testing Framework for Validating an IoT Solution
for Blockchain-based Vehicles Communication},
booktitle = {Proceedings of the 15th International Conference on Evaluation of
Novel Approaches to Software Engineering, {ENASE} 2020, Prague, Czech
Republic, May 5-6, 2020},
pages = {595--602},
publisher = {{SCITEPRESS}},
year = {2020},
url = {https://doi.org/10.5220/0009594305950602},
doi = {10.5220/0009594305950602},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/enase/JabbarKKFB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/SharifiKSK20,
author = {Zeinab Sharifi and
Ramtin Khosravi and
Marjan Sirjani and
Ehsan Khamespanah},
title = {Towards Formal Analysis of Vehicle Platoons Using Actor Model},
booktitle = {25th {IEEE} International Conference on Emerging Technologies and
Factory Automation, {ETFA} 2020, Vienna, Austria, September 8-11,
2020},
pages = {1820--1827},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETFA46521.2020.9211888},
doi = {10.1109/ETFA46521.2020.9211888},
timestamp = {Thu, 15 Oct 2020 10:17:48 +0200},
biburl = {https://dblp.org/rec/conf/etfa/SharifiKSK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccasa/VanG20,
author = {Thao Nguyen Van and
Kurt Geihs},
editor = {Phan Cong Vinh and
Abdur Rakib},
title = {Formal Verification of Multi-agent Plans for Vehicle Platooning},
booktitle = {Context-Aware Systems and Applications, and Nature of Computation
and Communication - 9th {EAI} International Conference, {ICCASA} 2020,
and 6th {EAI} International Conference, {ICTCC} 2020, Thai Nguyen,
Vietnam, November 26-27, 2020, Proceedings},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {343},
pages = {3--15},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67101-3\_1},
doi = {10.1007/978-3-030-67101-3\_1},
timestamp = {Sat, 06 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccasa/VanG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RahmanMAD20,
author = {Mohammad Ashiqur Rahman and
Rahat Masum and
Matthew Anderson and
Steven L. Drager},
editor = {Yi Li and
Alan Wee{-}Chung Liew},
title = {Formal Synthesis of Trajectories for Unmanned Aerial Vehicles to Perform
Resilient Surveillance of Critical Power Transmission Lines},
booktitle = {25th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2020, Singapore, October 28-31, 2020},
pages = {103--112},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICECCS51672.2020.00019},
doi = {10.1109/ICECCS51672.2020.00019},
timestamp = {Wed, 15 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/RahmanMAD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001NOST20,
author = {Simon Foster and
Yakoub Nemouchi and
Colin O'Halloran and
Karen Stephenson and
Nick Tudor},
editor = {Kyungmin Bae and
Domenico Bianculli and
Stefania Gnesi and
Nico Plat},
title = {Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous
Underwater Vehicle Case Study},
booktitle = {FormaliSE@ICSE 2020: 8th International Conference on Formal Methods
in Software Engineering, Seoul, Republic of Korea, July 13, 2020},
pages = {11--21},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3372020.3391559},
doi = {10.1145/3372020.3391559},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/0001NOST20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/FremontKPSABWLL20,
author = {Daniel J. Fremont and
Edward Kim and
Yash Vardhan Pant and
Sanjit A. Seshia and
Atul Acharya and
Xantha Bruso and
Paul Wells and
Steve Lemke and
Qiang Lu and
Shalin Mehta},
title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation
to the Real World},
booktitle = {23rd {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2020, Rhodes, Greece, September 20-23, 2020},
pages = {1--8},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ITSC45102.2020.9294368},
doi = {10.1109/ITSC45102.2020.9294368},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/FremontKPSABWLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/EagonN20,
author = {Matthew J. Eagon and
William F. Northrop},
title = {Formal methods approach to the charging facility location problem
for battery electric vehicles},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2020, Las Vegas, NV, USA,
October 19 - November 13, 2020},
pages = {1370--1377},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IV47402.2020.9304718},
doi = {10.1109/IV47402.2020.9304718},
timestamp = {Fri, 15 Jan 2021 15:43:41 +0100},
biburl = {https://dblp.org/rec/conf/ivs/EagonN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/KlischatA20,
author = {Moritz Klischat and
Matthias Althoff},
title = {Synthesizing Traffic Scenarios from Formal Specifications for Testing
Automated Vehicles},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2020, Las Vegas, NV, USA,
October 19 - November 13, 2020},
pages = {2065--2072},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/IV47402.2020.9304617},
doi = {10.1109/IV47402.2020.9304617},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/KlischatA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nafips/ArnettEKB20,
author = {Timothy Arnett and
Nicholas Ernest and
Brandon Kunkel and
Hugo Boronat},
editor = {Barnab{\'{a}}s Bede and
Martine Ceberio and
Martine De Cock and
Vladik Kreinovich},
title = {Formal Verification of a Genetic Fuzzy System for Unmanned Aerial
Vehicle Navigation and Target Capture in a Safety Corridor},
booktitle = {Fuzzy Information Processing 2020 - Proceedings of the 2020 Annual
Conference of the North American Fuzzy Information Processing Society,
{NAFIPS} 2020, Redmond, WA, USA, 20-22 August 2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1337},
pages = {361--372},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-81561-5\_30},
doi = {10.1007/978-3-030-81561-5\_30},
timestamp = {Fri, 10 Dec 2021 10:43:47 +0100},
biburl = {https://dblp.org/rec/conf/nafips/ArnettEKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/ShankarRPR20,
author = {Saumya Shankar and
Ujwal V. R and
Srinivas Pinisetty and
Partha S. Roop},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Formal Runtime Monitoring Approaches for Autonomous Vehicles},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {89--94},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper15.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/ShankarRPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07739,
author = {Daniel J. Fremont and
Edward Kim and
Yash Vardhan Pant and
Sanjit A. Seshia and
Atul Acharya and
Xantha Bruso and
Paul Wells and
Steve Lemke and
Qiang Lu and
Shalin Mehta},
title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation
to the Real World},
journal = {CoRR},
volume = {abs/2003.07739},
year = {2020},
url = {https://arxiv.org/abs/2003.07739},
eprinttype = {arXiv},
eprint = {2003.07739},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-04053,
author = {Ben Wooding and
Vahid Vahidinasab and
Sadegh Soudjani},
title = {Formal Controller Synthesis for Frequency Regulation Utilising Electric
Vehicles},
journal = {CoRR},
volume = {abs/2005.04053},
year = {2020},
url = {https://arxiv.org/abs/2005.04053},
eprinttype = {arXiv},
eprint = {2005.04053},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-04053.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Arcile19,
author = {Johan Arcile},
title = {Conception, mod{\'{e}}lisation et v{\'{e}}rification formelle
d'un syst{\`{e}}me temps-r{\'{e}}el d'agents coop{\'{e}}ratifs
: application aux v{\'{e}}hicules autonomes communicants. (Design,
formal modeling and verification of a real-time system of cooperativeagents:
Application to communicating autonomous vehicles)},
school = {University of Paris-Saclay, France},
year = {2019},
url = {https://tel.archives-ouvertes.fr/tel-02480653},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Arcile19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/QiL19,
author = {Ji Qi and
Kueiming Lo},
title = {Formal Codesign and Implementation for Multifunction Vehicle Bus Circuits},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {68},
number = {6},
pages = {5221--5235},
year = {2019},
url = {https://doi.org/10.1109/TVT.2019.2912001},
doi = {10.1109/TVT.2019.2912001},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/QiL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlvesD019,
author = {Gleifer Vaz Alves and
Louise A. Dennis and
Michael Fisher},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formalisation and Implementation of Road Junction Rules on an Autonomous
Vehicle Modelled as an Agent},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {217--232},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_16},
doi = {10.1007/978-3-030-54994-7\_16},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlvesD019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/KrookSLFF19,
author = {Jonas Krook and
Lars J. Svensson and
Yuchao Li and
Lei Feng and
Martin Fabian},
title = {Design and Formal Verification of a Safe Stop Supervisor for an Automated
Vehicle\({}^{\mbox{*}}\)},
booktitle = {International Conference on Robotics and Automation, {ICRA} 2019,
Montreal, QC, Canada, May 20-24, 2019},
pages = {5607--5613},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICRA.2019.8793636},
doi = {10.1109/ICRA.2019.8793636},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/KrookSLFF19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/IberrakenAD19,
author = {Dimia Iberraken and
Lounis Adouanc and
Dieumet Denis},
title = {Multi-Controller Architecture for Reliable Autonomous Vehicle Navigation:
Combination of Model-Driven and Data-Driven Formalization},
booktitle = {2019 {IEEE} Intelligent Vehicles Symposium, {IV} 2019, Paris, France,
June 9-12, 2019},
pages = {245--251},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IVS.2019.8813830},
doi = {10.1109/IVS.2019.8813830},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ivs/IberrakenAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NakamuraS19,
author = {Masaki Nakamura and
Kazutoshi Sakakibara},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Formal Verification and Mathematical Optimization for Autonomous Vehicle
Group Controllers},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {732--733},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00111},
doi = {10.1109/MODELS-C.2019.00111},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/NakamuraS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/AungP019,
author = {Moe Nandi Aung and
Yati Phyo and
Kazuhiro Ogata},
editor = {Angelo Perkusich},
title = {Formal Specification and Model Checking of the Lim-Jeong-Park-Lee
Autonomous Vehicle Intersection Control Protocol {(S)}},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {159--208},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-021},
doi = {10.18293/SEKE2019-021},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/AungP019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-00540,
author = {Mohammad Ashiqur Rahman and
Md Hasan Shahriar and
Ehab Al{-}Shaer and
Quanyan Zhu},
title = {A Formal Approach for Efficient Navigation Management of Hybrid Electric
Vehicles on Long Trips},
journal = {CoRR},
volume = {abs/1907.00540},
year = {2019},
url = {http://arxiv.org/abs/1907.00540},
eprinttype = {arXiv},
eprint = {1907.00540},
timestamp = {Mon, 08 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-00540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Duplouy18,
author = {Yann Duplouy},
title = {Applying Formal Methods to Autonomous Vehicle Control. (Application
des m{\'{e}}thodes formelles au contr{\^{o}}le du v{\'{e}}hicule
autonome)},
school = {University of Paris-Saclay, France},
year = {2018},
url = {https://tel.archives-ouvertes.fr/tel-01960966},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Duplouy18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/LeeLH18,
author = {Esther H. Park Lee and
Zofia Lukszo and
Paulien M. Herder},
title = {Conceptualization of Vehicle-to-Grid Contract Types and Their Formalization
in Agent-Based Models},
journal = {Complex.},
volume = {2018},
pages = {3569129:1--3569129:11},
year = {2018},
url = {https://doi.org/10.1155/2018/3569129},
doi = {10.1155/2018/3569129},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/LeeLH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CoferGBWPFPKKAH18,
author = {Darren D. Cofer and
Andrew Gacek and
John Backes and
Michael W. Whalen and
Lee Pike and
Adam Foltzer and
Michal Podhradsky and
Gerwin Klein and
Ihor Kuz and
June Andronick and
Gernot Heiser and
Douglas Stuart},
title = {A Formal Approach to Constructing Secure Air Vehicle Software},
journal = {Computer},
volume = {51},
number = {11},
pages = {14--23},
year = {2018},
url = {https://doi.org/10.1109/MC.2018.2876051},
doi = {10.1109/MC.2018.2876051},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CoferGBWPFPKKAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/FanQM18,
author = {Chuchu Fan and
Bolun Qi and
Sayan Mitra},
title = {Data-Driven Formal Reasoning and Their Applications in Safety Analysis
of Vehicle Autonomy Features},
journal = {{IEEE} Des. Test},
volume = {35},
number = {3},
pages = {31--38},
year = {2018},
url = {https://doi.org/10.1109/MDAT.2018.2799804},
doi = {10.1109/MDAT.2018.2799804},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/FanQM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/RizaldiISA18,
author = {Albert Rizaldi and
Fabian Immler and
Bastian Sch{\"{u}}rmann and
Matthias Althoff},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {A Formally Verified Motion Planner for Autonomous Vehicles},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {75--90},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_5},
doi = {10.1007/978-3-030-01090-4\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/RizaldiISA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigcomp/JungPKH18,
author = {Hyeok{-}june Jung and
Kyeong{-}sik Park and
Cheol{-}Jin Kim and
Young{-}Guk Ha},
title = {Formal Modeling and Verification of Serial Communication for Autonomous
Vehicles},
booktitle = {2018 {IEEE} International Conference on Big Data and Smart Computing,
BigComp 2018, Shanghai, China, January 15-17, 2018},
pages = {657--661},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/BigComp.2018.00119},
doi = {10.1109/BIGCOMP.2018.00119},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bigcomp/JungPKH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/TullsenPCT18,
author = {Mark Tullsen and
Lee Pike and
Nathan Collins and
Aaron Tomb},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Formal Verification of a Vehicle-to-Vehicle {(V2V)} Messaging System},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {413--429},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_25},
doi = {10.1007/978-3-319-96142-2\_25},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/TullsenPCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csonet/WangC18,
author = {Na Wang and
Xuemin Chen},
editor = {Xuemin Chen and
Arunabha Sen and
Wei Wayne Li and
My T. Thai},
title = {A Formal Model for Temporal - Spatial Event in Internet of Vehicles},
booktitle = {Computational Data and Social Networks - 7th International Conference,
CSoNet 2018, Shanghai, China, December 18-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11280},
pages = {222--234},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04648-4\_19},
doi = {10.1007/978-3-030-04648-4\_19},
timestamp = {Thu, 14 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csonet/WangC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/EmzivatGIMR18,
author = {Yrvann Emzivat and
Javier Iba{\~{n}}ez{-}Guzm{\'{a}}n and
Herve Illy and
Philippe Martinet and
Olivier H. Roux},
editor = {Wei{-}Bin Zhang and
Alexandre M. Bayen and
Javier J. S{\'{a}}nchez Medina and
Matthew J. Barth},
title = {A Formal Approach for the Design of a Dependable Perception System
for Autonomous Vehicles},
booktitle = {21st International Conference on Intelligent Transportation Systems,
{ITSC} 2018, Maui, HI, USA, November 4-7, 2018},
pages = {2452--2459},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/ITSC.2018.8569903},
doi = {10.1109/ITSC.2018.8569903},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/EmzivatGIMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfr/JohnsonHKC17,
author = {Benjamin Johnson and
Frank Havlak and
Hadas Kress{-}Gazit and
Mark E. Campbell},
title = {Experimental Evaluation and Formal Analysis of High-Level Tasks with
Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle},
journal = {J. Field Robotics},
volume = {34},
number = {5},
pages = {897--911},
year = {2017},
url = {https://doi.org/10.1002/rob.21695},
doi = {10.1002/ROB.21695},
timestamp = {Mon, 18 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfr/JohnsonHKC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KamaliDMFV17,
author = {Maryam Kamali and
Louise A. Dennis and
Owen McAree and
Michael Fisher and
Sandor M. Veres},
title = {Formal verification of autonomous vehicle platooning},
journal = {Sci. Comput. Program.},
volume = {148},
pages = {88--106},
year = {2017},
url = {https://doi.org/10.1016/j.scico.2017.05.006},
doi = {10.1016/J.SCICO.2017.05.006},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KamaliDMFV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ZitaMF17,
author = {Anton Zita and
Sahar Mohajerani and
Martin Fabian},
title = {Application of formal verification to the lane change module of an
autonomous vehicle},
booktitle = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
2017, Xi'an, China, August 20-23, 2017},
pages = {932--937},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COASE.2017.8256223},
doi = {10.1109/COASE.2017.8256223},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/case/ZitaMF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/DattaLR17,
author = {Amarjit Datta and
Brian K. Ledbetter and
Mohammad Ashiqur Rahman},
editor = {Aibek Musaev and
Jo{\~{a}}o Eduardo Ferreira and
Teruo Higashino},
title = {Optimal Deployment of Charging Stations for Electric Vehicles: {A}
Formal Approach},
booktitle = {37th {IEEE} International Conference on Distributed Computing Systems
Workshops, {ICDCS} Workshops 2017, Atlanta, GA, USA, June 5-8, 2017},
pages = {83--90},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICDCSW.2017.26},
doi = {10.1109/ICDCSW.2017.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/DattaLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/RizaldiKHFIAHN17,
author = {Albert Rizaldi and
Jonas Keinholz and
Monika Huber and
Jochen Feldle and
Fabian Immler and
Matthias Althoff and
Eric Hilgendorf and
Tobias Nipkow},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Formalising and Monitoring Traffic Rules for Autonomous Vehicles in
Isabelle/HOL},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {50--66},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_4},
doi = {10.1007/978-3-319-66845-1\_4},
timestamp = {Mon, 14 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/RizaldiKHFIAHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/PekZA17,
author = {Christian Pek and
Peter Zahn and
Matthias Althoff},
title = {Verifying the safety of lane change maneuvers of self-driving vehicles
based on formalized traffic rules},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2017, Los Angeles, CA,
USA, June 11-14, 2017},
pages = {1477--1483},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/IVS.2017.7995918},
doi = {10.1109/IVS.2017.7995918},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/PekZA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobiwac/ChoualiBM17,
author = {Samir Chouali and
Azzedine Boukerche and
Ahmed Mostefaoui},
editor = {{\'{A}}ngel Cuevas and
Robson Eduardo De Grande and
Amir Darehshoorzadeh},
title = {Towards a Formal Analysis of MQtt Protocol in the Context of Communicating
Vehicles},
booktitle = {Proceedings of the 15th {ACM} International Symposium on Mobility
Management and Wireless Access, {MOBIWAC} 2017, Miami, FL, USA, November
21 - 25, 2017},
pages = {129--136},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132062.3132079},
doi = {10.1145/3132062.3132079},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobiwac/ChoualiBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/ChoualiBM17,
author = {Samir Chouali and
Azzedine Boukerche and
Ahmed Mostefaoui},
editor = {Antonio A. F. Loureiro and
Hsiao{-}Chun Wu and
F. Richard Yu},
title = {Ensuring the Reliability of an Autonomous Vehicle: {A} Formal Approach
based on Component Interaction Protocols},
booktitle = {Proceedings of the 20th {ACM} International Conference on Modelling,
Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2017,
Miami, FL, USA, November 21 - 25, 2017},
pages = {317--321},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127540.3127581},
doi = {10.1145/3127540.3127581},
timestamp = {Thu, 21 Mar 2019 15:01:06 +0100},
biburl = {https://dblp.org/rec/conf/mswim/ChoualiBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DomeniciFP17,
author = {Andrea Domenici and
Adriano Fagiolini and
Maurizio Palmieri},
editor = {Antonio Cerone and
Marco Roveri},
title = {Integrated Simulation and Formal Verification of a Simple Autonomous
Vehicle},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops:
DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September
4-5, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10729},
pages = {300--314},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74781-1\_21},
doi = {10.1007/978-3-319-74781-1\_21},
timestamp = {Mon, 15 Jun 2020 17:05:45 +0200},
biburl = {https://dblp.org/rec/conf/sefm/DomeniciFP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02557,
author = {Lucas E. R. Fernandes and
Vinicius Custodio and
Gleifer V. Alves and
Michael Fisher},
editor = {Lukas Bulwahn and
Maryam Kamali and
Sven Linker},
title = {A Rational Agent Controlling an Autonomous Vehicle: Implementation
and Formal Verification},
booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
FVAV@iFM 2017, Turin, Italy, 19th September 2017},
series = {{EPTCS}},
volume = {257},
pages = {35--42},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.257.5},
doi = {10.4204/EPTCS.257.5},
timestamp = {Fri, 25 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1709-02126,
editor = {Lukas Bulwahn and
Maryam Kamali and
Sven Linker},
title = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
FVAV@iFM 2017, Turin, Italy, 19th September 2017},
series = {{EPTCS}},
volume = {257},
year = {2017},
url = {http://arxiv.org/abs/1709.02126},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02126.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JiangLSKGSS16,
author = {Yu Jiang and
Han Liu and
Houbing Song and
Hui Kong and
Ming Gu and
Jiaguang Sun and
Lui Sha},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle
Bus Controller},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {757--763},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_47},
doi = {10.1007/978-3-319-48989-6\_47},
timestamp = {Mon, 09 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JiangLSKGSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RizaldiIA16,
author = {Albert Rizaldi and
Fabian Immler and
Matthias Althoff},
editor = {Sanjai Rayadurgam and
Oksana Tkachuk},
title = {A Formally Verified Checker of the Safe Distance Traffic Rules for
Autonomous Vehicles},
booktitle = {{NASA} Formal Methods - 8th International Symposium, {NFM} 2016, Minneapolis,
MN, USA, June 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9690},
pages = {175--190},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40648-0\_14},
doi = {10.1007/978-3-319-40648-0\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RizaldiIA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saci/MaxL16,
author = {Gyorgy Max and
B{\'{e}}la Lantos},
title = {Hierarchical control system for autonomous vehicles based on robotic
formalism},
booktitle = {11th {IEEE} International Symposium on Applied Computational Intelligence
and Informatics, {SACI} 2016, Timisoara, Romania, May 12-14, 2016},
pages = {69--74},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SACI.2016.7507342},
doi = {10.1109/SACI.2016.7507342},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/saci/MaxL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/MallozziSP16,
author = {Piergiuseppe Mallozzi and
Massimo Sciancalepore and
Patrizio Pelliccione},
editor = {Ivica Crnkovic and
Elena Troubitsyna},
title = {Formal Verification of the On-the-Fly Vehicle Platooning Protocol},
booktitle = {Software Engineering for Resilient Systems - 8th International Workshop,
{SERENE} 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9823},
pages = {62--75},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45892-2\_5},
doi = {10.1007/978-3-319-45892-2\_5},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/serene/MallozziSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/MaxL16,
author = {Gyorgy Max and
B{\'{e}}la Lantos},
title = {Tracking control of unmanned ground vehicles using state estimation
and robotic formalism},
booktitle = {2016 {IEEE} International Conference on Systems, Man, and Cybernetics,
{SMC} 2016, Budapest, Hungary, October 9-12, 2016},
pages = {276--281},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/SMC.2016.7844254},
doi = {10.1109/SMC.2016.7844254},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/smc/MaxL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/FarzanehSK16,
author = {Morteza Hashemi Farzaneh and
Sina Shafaei and
Alois C. Knoll},
title = {Formally verifiable modeling of in-vehicle time-sensitive networks
{(TSN)} based on logic programming},
booktitle = {2016 {IEEE} Vehicular Networking Conference, {VNC} 2016, Columbus,
OH, USA, December 8-10, 2016},
pages = {1--4},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/VNC.2016.7835941},
doi = {10.1109/VNC.2016.7835941},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vnc/FarzanehSK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IrelandHMNV16,
author = {Murray L. Ireland and
Ruth Hoffmann and
Alice Miller and
Gethin Norman and
Sandor M. Veres},
title = {A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform
and Validate Formal Verification Methods},
journal = {CoRR},
volume = {abs/1609.00177},
year = {2016},
url = {http://arxiv.org/abs/1609.00177},
eprinttype = {arXiv},
eprint = {1609.00177},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/IrelandHMNV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KamaliDMFV16,
author = {Maryam Kamali and
Louise A. Dennis and
Owen McAree and
Michael Fisher and
Sandor M. Veres},
title = {Formal Verification of Autonomous Vehicle Platooning},
journal = {CoRR},
volume = {abs/1602.01718},
year = {2016},
url = {http://arxiv.org/abs/1602.01718},
eprinttype = {arXiv},
eprint = {1602.01718},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KamaliDMFV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MacktoobianK16,
author = {Matin Macktoobian and
Ahmad T. Khataminejad},
title = {On the Formal Development of Behavioral Reactive Agents: {A} Systematic
Braitenberg-Vehicle Approach},
journal = {CoRR},
volume = {abs/1612.03979},
year = {2016},
url = {http://arxiv.org/abs/1612.03979},
eprinttype = {arXiv},
eprint = {1612.03979},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MacktoobianK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Gayraud15,
author = {Fabrice Gayraud},
title = {Probl{\`{e}}me de tourn{\'{e}}es de v{\'{e}}hicules avec
contraintes de synchronisation dans le cadre de structures de maintien
{\`{a}} domicile. Formalisation math{\'{e}}matique et hybridation
{\`{a}} base de m{\'{e}}taheuristique. (Vehicle routing problem
with synchronization constraints in home care support services - Mathematical
formulation and hybridization based on metaheuristics)},
school = {Blaise Pascal University, Clermont-Ferrand, France},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01289845},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Gayraud15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/FazouaneKHMK15,
author = {Marouane Fazouane and
Henning Kopp and
Rens W. van der Heijden and
Daniel Le M{\'{e}}tayer and
Frank Kargl},
editor = {Frank Piessens and
Juan Caballero and
Nataliia Bielova},
title = {Formal Verification of Privacy Properties in Electric Vehicle Charging},
booktitle = {Engineering Secure Software and Systems - 7th International Symposium,
ESSoS 2015, Milan, Italy, March 4-6, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8978},
pages = {17--33},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15618-7\_2},
doi = {10.1007/978-3-319-15618-7\_2},
timestamp = {Mon, 01 May 2023 13:01:13 +0200},
biburl = {https://dblp.org/rec/conf/essos/FazouaneKHMK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KusakabeOA15,
author = {Shigeru Kusakabe and
Yoichi Omori and
Keijiro Araki},
editor = {Andreas Bollin and
Tiziana Margaria and
Isabelle Perseil},
title = {Well-defined Software Process as Vehicle to Understand Effectiveness
of Formal Methods},
booktitle = {Proceedings of the First Workshop on Formal Methods in Software Engineering
Education and Training, FMSEE{\&}T 2015, co-located with 20th
International Symposium on Formal Methods {(FM} 2015), Oslo, Norway,
June 23, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1385},
pages = {51--58},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1385/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/fm/KusakabeOA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/RizaldiA15,
author = {Albert Rizaldi and
Matthias Althoff},
title = {Formalising Traffic Rules for Accountability of Autonomous Vehicles},
booktitle = {{IEEE} 18th International Conference on Intelligent Transportation
Systems, {ITSC} 2015, Gran Canaria, Spain, September 15-18, 2015},
pages = {1658--1665},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ITSC.2015.269},
doi = {10.1109/ITSC.2015.269},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/RizaldiA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Leteve14,
author = {Aurore L{\'{e}}t{\'{e}}v{\'{e}}},
title = {Etude de l'influence des suspensions de v{\'{e}}hicule de tourisme
sur le confort vibratoire, le comportement routier et les limites
de fonctionnement : l'approche {CRONE} en mati{\`{e}}re de formalisation,
d'analyse et de synth{\`{e}}se. (Study of the influence of passenger
vehicle suspension on vibrational comfort, driving behaviour and operating
limits : {CRONE} approach to formalization, analysis and synthesis)},
school = {University of Bordeaux, France},
year = {2014},
url = {https://tel.archives-ouvertes.fr/tel-01140345},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Leteve14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jam/ZhangPHLTS14,
author = {Jie Zhang and
Yuntao Peng and
William N. N. Hung and
Xiaojuan Li and
Jindong Tan and
Zhiping Shi},
title = {A Case Study on Formal Analysis of an Automated Guided Vehicle System},
journal = {J. Appl. Math.},
volume = {2014},
pages = {327465:1--327465:10},
year = {2014},
url = {https://doi.org/10.1155/2014/327465},
doi = {10.1155/2014/327465},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jam/ZhangPHLTS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/HumphreyWT14,
author = {Laura R. Humphrey and
Eric M. Wolff and
Ufuk Topcu},
title = {Formal Specification and Synthesis of Mission Plans for Unmanned Aerial
Vehicles},
booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 24-26, 2014},
publisher = {{AAAI} Press},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7751},
timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/HumphreyWT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Fisher14,
author = {Kathleen Fisher},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Using formal methods to enable more secure vehicles: DARPA's {HACMS}
program},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628165},
doi = {10.1145/2628136.2628165},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/Fisher14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icseng/GrozaLGZ14,
author = {Adrian Groza and
Ioan Alfred Letia and
Anca Goron and
Sergiu Zaporojan},
editor = {Henry Selvaraj and
Dawid Zydek and
Grzegorz Chmaj},
title = {A formal approach for identifying assurance deficits in unmanned aerial
vehicle software},
booktitle = {Progress in Systems Engineering - Proceedings of the Twenty-Third
International Conference on Systems Engineering, ICSEng 2014, Las
Vegas, NV, USA, August 19-21, 2014},
series = {Advances in Intelligent Systems and Computing},
volume = {366},
pages = {233--239},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08422-0\_35},
doi = {10.1007/978-3-319-08422-0\_35},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icseng/GrozaLGZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/RahmanMA13,
author = {Mohammad Ashiqur Rahman and
Fadi Mohsen and
Ehab Al{-}Shaer},
editor = {Benessa Defend and
Klaus Kursawe},
title = {A formal model for sustainable vehicle-to-grid management},
booktitle = {SEGS'13, Proceedings of the 2013 {ACM} Workshop on Smart Energy Grid
Security, Co-located with {CCS} 2013, November 8, 2013, Berlin, Germany},
pages = {81--92},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2516930.2516937},
doi = {10.1145/2516930.2516937},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/RahmanMA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vnc/KlebergerM13,
author = {Pierre Kleberger and
Guilhem Moulin},
title = {Short paper: Formal verification of an authorization protocol for
remote vehicle diagnostics},
booktitle = {2013 {IEEE} Vehicular Networking Conference, Boston, MA, USA, December
16-18, 2013},
pages = {202--205},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/VNC.2013.6737613},
doi = {10.1109/VNC.2013.6737613},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vnc/KlebergerM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AsplundMBCC12,
author = {Mikael Asplund and
Atif Manzoor and
M{\'{e}}lanie Bouroche and
Siobh{\'{a}}n Clarke and
Vinny Cahill},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {A Formal Approach to Autonomous Vehicle Coordination},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {52--67},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_8},
doi = {10.1007/978-3-642-32759-9\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AsplundMBCC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/Rani12,
author = {I{\~{n}}aki Ra{\~{n}}{\'{\i}}},
title = {A model and formal analysis of Braitenberg vehicles 2 and 3},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2012, 14-18 May, 2012, St. Paul, Minnesota, {USA}},
pages = {910--915},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ICRA.2012.6224583},
doi = {10.1109/ICRA.2012.6224583},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/icra/Rani12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/SuYWGZ11,
author = {Wen Su and
Fan Yang and
Xiaofeng Wu and
Jian Guo and
Huibiao Zhu},
title = {Formal Approaches to Mode Conversion and Positioning for Vehicle System},
booktitle = {Workshop Proceedings of the 35th Annual {IEEE} International Computer
Software and Applications Conference, {COMPSAC} Workshops 2011, Munich,
Germany, 18-22 July 2011},
pages = {416--421},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSACW.2011.76},
doi = {10.1109/COMPSACW.2011.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/SuYWGZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/WasilewskiH11,
author = {Michael Wasilewski and
Wilhelm Hasselbring},
editor = {Ralf H. Reussner and
Matthias Grund and
Andreas Oberweis and
Walter F. Tichy},
title = {A Formal and Pragmatic Approach to Engineering Safety-critical Rail
Vehicle Control Software},
booktitle = {Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2011 in Karlsruhe},
series = {{LNI}},
volume = {{P-183}},
pages = {99--110},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/19850},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/WasilewskiH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forms/HartigGSB10,
author = {Kerstin Hartig and
Jens Gerlach and
Juan Soto and
J{\"{u}}rgen Busse},
editor = {Eckehard Schnieder and
G{\'{e}}za Tarnai},
title = {Formal Specification and Automated Verification of Safety-Critical
Requirements of a Railway Vehicle with Frama-C/Jessie},
booktitle = {{FORMS/FORMAT} 2010 - Formal Methods for Automation and Safety in
Railway and Automotive Systems [8th Symposium on Formal Methods for
Automation and Safety in Railway and Automotive Systems, Braunschweig,
Germany, December 2-3, 2010},
pages = {145--153},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14261-1\_15},
doi = {10.1007/978-3-642-14261-1\_15},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/forms/HartigGSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Contet09,
author = {Jean{-}Michel Contet},
title = {Mod{\`{e}}les multi-agents r{\'{e}}actifs pour la navigation
multi-v{\'{e}}hicules : sp{\'{e}}cification formelle et
v{\'{e}}rification. (Reactive multi-agent models for the multi-vehicle
navigation problem: formal specification and verification)},
school = {Universit{\'{e}} de technologie de Belfort-Montb{\'{e}}liard,
France},
year = {2009},
url = {https://tel.archives-ouvertes.fr/tel-00472415},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Contet09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/MolnarV09,
author = {Levente Molnar and
Sandor M. Veres},
title = {Verification of autonomous underwater vehicles using formal logic},
booktitle = {10th European Control Conference, {ECC} 2009, Budapest, Hungary, 23-26
August 2009},
pages = {1263--1268},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.23919/ECC.2009.7074579},
doi = {10.23919/ECC.2009.7074579},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/eucc/MolnarV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/BrinkKT96,
author = {Klaas Brink and
Jan van Katwijk and
W. J. Toetenel},
title = {Ada 95 as implementation vehicle for formal specifications},
booktitle = {Third International Workshop on Real-Time Computing Systems Application
{(RTCSA} '96), October 30 - November 01, 1996, Seoul, Korea},
pages = {98--105},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/RTCSA.1996.554966},
doi = {10.1109/RTCSA.1996.554966},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/BrinkKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iser/KapellosJEA95,
author = {Konstantinos Kapellos and
Muriel Jourdan and
Bernard Espiau and
Sofiane Abdou},
editor = {Oussama Khatib and
John Kenneth Salisbury Jr.},
title = {Specification, Formal Verification and Implementation of Tasks and
Missions for an Autonomous Vehicle},
booktitle = {Experimental Robotics IV, The 4th International Symposium, Stanford,
California, USA, June 30 - July 2, 1995},
series = {Lecture Notes in Control and Information Sciences},
volume = {223},
pages = {412--421},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0035231},
doi = {10.1007/BFB0035231},
timestamp = {Fri, 02 Jun 2017 12:02:27 +0200},
biburl = {https://dblp.org/rec/conf/iser/KapellosJEA95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FischerS94,
author = {Siegfried Fischer and
Andreas Scholz},
title = {Verification in Process Algebra of the Distributed Control of Track
Vehicles - {A} Case Study},
journal = {Formal Methods Syst. Des.},
volume = {4},
number = {2},
pages = {99--122},
year = {1994},
url = {https://doi.org/10.1007/BF01384080},
doi = {10.1007/BF01384080},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/FischerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrr/GrishinFLZ94,
author = {A. A. Grishin and
Alexander M. Formal'sky and
A. V. Lensky and
S. V. Zhitomirsky},
title = {Dynamic Walking of a Vehicle With Two Telescopic Legs Controlled by
Two Drives},
journal = {Int. J. Robotics Res.},
volume = {13},
number = {2},
pages = {137--147},
year = {1994},
url = {https://doi.org/10.1177/027836499401300204},
doi = {10.1177/027836499401300204},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijrr/GrishinFLZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/Rugg-GunnC94,
author = {Neil Rugg{-}Gunn and
Stephen Cameron},
title = {A Formal Semantics for Multiple Vehicle Task and Motion Planning},
booktitle = {Proceedings of the 1994 International Conference on Robotics and Automation,
San Diego, CA, USA, May 1994},
pages = {2464--2469},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ROBOT.1994.351142},
doi = {10.1109/ROBOT.1994.351142},
timestamp = {Fri, 13 Aug 2021 09:26:01 +0200},
biburl = {https://dblp.org/rec/conf/icra/Rugg-GunnC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/RaynerHAW89,
author = {Manny Rayner and
{\AA}sa Hugosson and
Martin Aronsson and
Annika W{\ae}rn},
editor = {Hannu Jaakkola and
Seppo Linnainmaa},
title = {Formal Reasoning about Plan-Controlled Vehicles},
booktitle = {Second Scandinavian Conference on Artificial Intelligence 1989, Proceedings
of the 2nd SCAI, Tampere, Finland, June 12-15, 1989},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {4},
pages = {739--751},
publisher = {{IOS} Press},
year = {1989},
timestamp = {Thu, 01 Aug 2019 11:47:47 +0200},
biburl = {https://dblp.org/rec/conf/scai/RaynerHAW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-09-24 16:10 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
