Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

March 18, 2022 · The Ethereal · 🏛 MARS

🔮 THE ETHEREAL: The Ethereal
Pure theory — exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe arXiv ID 2203.09885 Category cs.LO: Logic in CS Cross-listed cs.RO Citations 2 Venue MARS Last Checked 5 months ago
Abstract
We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our autonomous vehicle models, and also illustrates how formal validation tools can be applied to a single component or the overall vehicle.
Community shame:
Not yet rated
📄 View on arXiv 🌐 View on ar5iv 📑 PDF 🎉 Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

📜 Similar Papers

In the same crypt — Logic in CS