Intelligent verification
Related papers: 12
Top Researchers
Top Cited Papers
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Citations: 57 • 2011
A Review of Verification and Validation for Space Autonomous Systems
Rafael C. Cardoso, Georgios Kourtis, Louise A. Dennis, Clare Dixon, Marie Farrell, Michael Fisher, Matt Webster
Citations: 24 • 2021
Collaborative Verification-Driven Engineering of Hybrid Systems
Citations: 15 • 2014
Collaborative Verification-Driven Engineering of Hybrid Systems
Citations: 14 • 2014
Formal Verification of Behaviour Networks Including Hardware Failures
Lisa Kiekbusch, Christopher Armbrust, Karsten Berns
Citations: 7 • 2015
TeSSLa-ROS-Bridge – Runtime Verification of Robotic Systems
Marian Johannes Begemann, Hannes Kallwies, Martin Leucker, Malte Schmitz
Citations: 5 • 2023
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems
Jakub Podivínský, Ondrej Cekan, Jakub Lojda, Zdeněk Kotásek
Citations: 5 • 2016
Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines
Vladimir Estivill‐Castro, René Hexel
Citations: 5 • 2016
Runtime Verification with Imperfect Information Through Indistinguishability Relations
Angelo Ferrando, Vadim Malvone
Citations: 4 • 2022
A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems
Stefan Mitsch, Grant Olney Passmore, André Platzer
Citations: 3 • 2013
A Formal Verification Approach for Robotic Workflows
Michael Rathmair, Thomas Haspl, Titanilla Komenda, Bernhard Reiterer, Michael Hofbaur
Citations: 3 • 2021
Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems
Kerstin Eder
Citations: 2 • 2020