@article(DBLP:journals/pacmpl/AcetoAFIL19, author = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Karoliina Lehtinen}, year = {2019}, title = {Adventures in monitorability: from branching to linear time and back again}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {52:1--52:29}, doi = {10.1145/3290365}, ) @inproceedings(DBLP:conf/sefm/AcetoAFIL19, author = {Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing{\'{o}}lfsd{\'{o}}ttir and Karoliina Lehtinen}, year = {2019}, title = {An Operational Guide to Monitorability}, editor = {Peter Csaba {\"{O}}lveczky and Gwen Sala{\"{u}}n}, booktitle = {Software Engineering and Formal Methods - 17th International Conference, {SEFM} 2019, Oslo, Norway, September 18-20, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11724}, publisher = {Springer}, pages = {433--453}, doi = {10.1007/978-3-030-30446-1\_23}, ) @article(DBLP:journals/dc/AlpernS87, author = {Bowen Alpern and Fred B. Schneider}, year = {1987}, title = {Recognizing Safety and Liveness}, journal = {Distributed Comput.}, volume = {2}, number = {3}, pages = {117--126}, doi = {10.1007/BF01782772}, ) @article(DBLP:journals/scp/AnconaFFM21, author = {Davide Ancona and Luca Franceschini and Angelo Ferrando and Viviana Mascardi}, year = {2021}, title = {{RML:} Theory and practice of a domain specific language for runtime verification}, journal = {Sci. Comput. Program.}, volume = {205}, pages = {102610}, doi = {10.1016/j.scico.2021.102610}, ) @incollection(DBLP:series/lncs/BartocciFFR18, author = {Ezio Bartocci and Yli{\`{e}}s Falcone and Adrian Francalanza and Giles Reger}, year = {2018}, title = {Introduction to Runtime Verification}, editor = {Ezio Bartocci and Yli{\`{e}}s Falcone}, booktitle = {Lectures on Runtime Verification - Introductory and Advanced Topics}, series = {Lecture Notes in Computer Science}, volume = {10457}, publisher = {Springer}, pages = {1--33}, doi = {10.1007/978-3-319-75632-5\_1}, ) @inproceedings(DBLP:conf/fsttcs/BauerLS06, author = {Andreas Bauer and Martin Leucker and Christian Schallhart}, year = {2006}, title = {Monitoring of Real-Time Properties}, editor = {Arun{-}Kumar, S. and Naveen Garg}, booktitle = {{FSTTCS} 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4337}, publisher = {Springer}, pages = {260--272}, doi = {10.1007/11944836\_25}, ) @article(10.1145/2000799.2000800, author = {Andreas Bauer and Martin Leucker and Christian Schallhart}, year = {2011}, title = {Runtime Verification for LTL and TLTL}, journal = {ACM Trans. Softw. Eng. Methodol.}, volume = {20}, number = {4}, doi = {10.1145/2000799.2000800}, ) @inproceedings(DBLP:conf/icse/ChenWWS18, author = {Zhe Chen and Yifan Wu and Ou Wei and Bin Sheng}, year = {2018}, title = {Deciding weak monitorability for runtime verification}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, publisher = {{ACM}}, pages = {163--164}, doi = {10.1145/3183440.3195077}, ) @inproceedings(clarke1997model, author = {Edmund M Clarke}, year = {1997}, title = {Model checking}, booktitle = {International Conference on Foundations of Software Technology and Theoretical Computer Science}, organization = {Springer}, pages = {54--56}, doi = {10.1016/0304-3975(85)90223-3}, ) @inproceedings(Ferrando20a, author = {Angelo Ferrando and Rafael C. Cardoso and Michael Fisher and Davide Ancona and Luca Franceschini and Viviana Mascardi}, year = {2020}, title = {ROSMonitoring: A Runtime Verification Framework for ROS}, booktitle = {Towards Autonomous Robotic Systems}, publisher = {Springer International Publishing}, address = {Cham}, pages = {387--399}, doi = {10.1007/978-3-030-63486-5_40}, ) @article(DBLP:journals/aamas/FisherMRSWY21, author = {Michael Fisher and Viviana Mascardi and Kristin Yvonne Rozier and Bernd{-}Holger Schlingloff and Michael Winikoff and Yorke{-}Smith, Neil}, year = {2021}, title = {Towards a framework for certification of reliable autonomous systems}, journal = {Auton. Agents Multi Agent Syst.}, volume = {35}, number = {1}, pages = {8}, doi = {10.1007/s10458-020-09487-2}, ) @article(DBLP:journals/fmsd/FrancalanzaAI17, author = {Adrian Francalanza and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir}, year = {2017}, title = {Monitorability for the Hennessy-Milner logic with recursion}, journal = {Formal Methods Syst. Des.}, volume = {51}, number = {1}, pages = {87--116}, doi = {10.1007/s10703-017-0273-z}, ) @inproceedings(DBLP:conf/pstv/GerthPVW95, author = {Rob Gerth and Doron A. Peled and Moshe Y. Vardi and Pierre Wolper}, year = {1995}, title = {Simple on-the-fly automatic verification of linear temporal logic}, editor = {Piotr Dembinski and Marek Sredniawa}, booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, series = {{IFIP} Conference Proceedings}, volume = {38}, publisher = {Chapman {\&} Hall}, pages = {3--18}, doi = {10.1007/978-0-387-34892-6_1}, ) @inproceedings(DBLP:conf/rv/HenzingerS20, author = {Thomas A. Henzinger and Sara{\c{c}}, N. Ege}, year = {2020}, title = {Monitorability Under Assumptions}, editor = {Jyotirmoy Deshmukh and Dejan Nickovic}, booktitle = {Runtime Verification - 20th International Conference, {RV} 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12399}, publisher = {Springer}, pages = {3--18}, doi = {10.1007/978-3-030-60508-7\_1}, ) @book(DBLP:books/lib/HertzKP91, author = {John A. Hertz and Anders Krogh and Richard G. Palmer}, year = {1991}, title = {Introduction to the theory of neural computation}, series = {The advanced book program}, volume = {1}, publisher = {Addison-Wesley}, ) @article(DBLP:journals/entcs/KimKLSV02, author = {Moonjoo Kim and Sampath Kannan and Insup Lee and Oleg Sokolsky and Mahesh Viswanathan}, year = {2002}, title = {Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {70}, number = {4}, pages = {80--94}, doi = {10.1016/S1571-0661(04)80578-4}, ) @article(DBLP:journals/rts/Koymans90, author = {Ron Koymans}, year = {1990}, title = {Specifying Real-Time Properties with Metric Temporal Logic}, journal = {Real Time Syst.}, volume = {2}, number = {4}, pages = {255--299}, doi = {10.1007/BF01995674}, ) @article(DBLP:journals/tcs/Larsen90, author = {Kim Guldstrand Larsen}, year = {1990}, title = {Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion}, journal = {Theor. Comput. Sci.}, volume = {72}, number = {2{\&}3}, pages = {265--288}, doi = {10.1016/0304-3975(90)90038-J}, ) @inproceedings(DBLP:conf/rv/Leucker12, author = {Martin Leucker}, year = {2012}, title = {{Sliding between Model Checking and Runtime Verification}}, booktitle = {Runtime Verification}, series = {LNCS}, volume = {7687}, publisher = {Springer}, pages = {82--87}, doi = {10.1007/978-3-642-35632-2_10}, ) @article(DBLP:journals/jlp/LeuckerS09, author = {Martin Leucker and Christian Schallhart}, year = {2009}, title = {A brief account of runtime verification}, journal = {J. Log. Algebraic Methods Program.}, volume = {78}, number = {5}, pages = {293--303}, doi = {10.1016/j.jlap.2008.08.004}, ) @book(DBLP:books/lib/Loveland78, author = {Donald W. Loveland}, year = {1978}, title = {Automated theorem proving: a logical basis}, series = {Fundamental studies in computer science}, volume = {6}, publisher = {North-Holland}, ) @article(DBLP:journals/aim/LyonsCWS17, author = {Joseph B. Lyons and Matthew A. Clark and Alan R. Wagner and Matthew J. Schuelke}, year = {2017}, title = {Certifiable Trust in Autonomous Systems: Making the Intractable Tangible}, journal = {{AI} Mag.}, volume = {38}, number = {3}, pages = {37--49}, doi = {10.1609/aimag.v38i3.2717}, ) @inproceedings(DBLP:conf/formats/MalerN04, author = {Oded Maler and Dejan Nickovic}, year = {2004}, title = {Monitoring Temporal Properties of Continuous Signals}, editor = {Yassine Lakhnech and Sergio Yovine}, booktitle = {Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, {FORMATS} 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, {FTRTFT} 2004, Grenoble, France, September 22-24, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3253}, publisher = {Springer}, pages = {152--166}, doi = {10.1007/978-3-540-30206-3\_12}, ) @inproceedings(DBLP:conf/focs/Pnueli77, author = {Amir Pnueli}, year = {1977}, title = {The Temporal Logic of Programs}, booktitle = {18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October - 1 November 1977}, publisher = {{IEEE} Computer Society}, pages = {46--57}, doi = {10.1109/SFCS.1977.32}, ) @inproceedings(DBLP:conf/fm/PnueliZ06, author = {Amir Pnueli and Aleksandr Zaks}, year = {2006}, title = {{PSL} Model Checking and Run-Time Verification Via Testers}, editor = {Jayadev Misra and Tobias Nipkow and Emil Sekerinski}, booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4085}, publisher = {Springer}, pages = {573--586}, doi = {10.1007/11813040\_38}, ) @article(DBLP:journals/ibmrd/RabinS59, author = {Michael O. Rabin and Dana S. Scott}, year = {1959}, title = {Finite Automata and Their Decision Problems}, journal = {{IBM} J. Res. Dev.}, volume = {3}, number = {2}, pages = {114--125}, doi = {10.1147/rd.32.0114}, ) @article(DBLP:journals/fac/Sistla94, author = {A. Prasad Sistla}, year = {1994}, title = {Safety, Liveness and Fairness in Temporal Logic}, journal = {Formal Aspects Comput.}, volume = {6}, number = {5}, pages = {495--512}, doi = {10.1007/BF01211865}, ) @article(robotics10030086, author = {Thomas Wright and Andrew West and Mauro Licata and Nick Hawes and Barry Lennox}, year = {2021}, title = {Simulating Ionising Radiation in Gazebo for Robotic Nuclear Inspection Challenges}, journal = {Robotics}, volume = {10}, number = {3}, doi = {10.3390/robotics10030086}, ) @inproceedings(DBLP:conf/nfm/ZhangLD12, author = {Xian Zhang and Martin Leucker and Wei Dong}, year = {2012}, title = {{Runtime Verification with Predictive Semantics}}, booktitle = {{NASA} Formal Methods}, series = {LNCS}, volume = {7226}, publisher = {Springer}, pages = {418--432}, doi = {10.1007/978-3-642-28891-3_37}, )