OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, et al.
ACM Transactions on Computational Logic (2022) Vol. 23, Iss. 2, pp. 1-39
Open Access | Times Cited: 17
Tzanis Anevlavis, Matthew Philippe, Daniel Neider, et al.
ACM Transactions on Computational Logic (2022) Vol. 23, Iss. 2, pp. 1-39
Open Access | Times Cited: 17
Showing 17 citing articles:
Robust computation tree logic
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, et al.
Innovations in Systems and Software Engineering (2024)
Open Access | Times Cited: 2
Satya Prakash Nayak, Daniel Neider, Rajarshi Roy, et al.
Innovations in Systems and Software Engineering (2024)
Open Access | Times Cited: 2
Temporal Robustness of Stochastic Signals
Lars Lindemann, Alëna Rodionova, George J. Pappas
(2022)
Open Access | Times Cited: 9
Lars Lindemann, Alëna Rodionova, George J. Pappas
(2022)
Open Access | Times Cited: 9
Risk of Stochastic Systems for Temporal Logic Specifications
Lars Lindemann, Lejun Jiang, Nikolai Matni, et al.
ACM Transactions on Embedded Computing Systems (2023) Vol. 22, Iss. 3, pp. 1-31
Open Access | Times Cited: 4
Lars Lindemann, Lejun Jiang, Nikolai Matni, et al.
ACM Transactions on Embedded Computing Systems (2023) Vol. 22, Iss. 3, pp. 1-31
Open Access | Times Cited: 4
Diffusion of Information on Networked Lattices by Gossip
Hans Riess, Robert Ghrist
2022 IEEE 61st Conference on Decision and Control (CDC) (2022), pp. 5946-5952
Open Access | Times Cited: 6
Hans Riess, Robert Ghrist
2022 IEEE 61st Conference on Decision and Control (CDC) (2022), pp. 5946-5952
Open Access | Times Cited: 6
Robust Alternating-Time Temporal Logic
Aniello Murano, Daniel Neider, Martín Zimmermann
Lecture notes in computer science (2023), pp. 796-813
Closed Access | Times Cited: 2
Aniello Murano, Daniel Neider, Martín Zimmermann
Lecture notes in computer science (2023), pp. 796-813
Closed Access | Times Cited: 2
Decoupled Fitness Criteria for Reactive Systems
Derek Egolf, Stavros Tripakis
Lecture notes in computer science (2023), pp. 85-105
Closed Access | Times Cited: 2
Derek Egolf, Stavros Tripakis
Lecture notes in computer science (2023), pp. 85-105
Closed Access | Times Cited: 2
Risk verification of stochastic systems with neural network controllers
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, et al.
Artificial Intelligence (2022) Vol. 313, pp. 103782-103782
Open Access | Times Cited: 4
Matthew Cleaveland, Lars Lindemann, Radoslav Ivanov, et al.
Artificial Intelligence (2022) Vol. 313, pp. 103782-103782
Open Access | Times Cited: 4
Robust probabilistic temporal logics
Martín Zimmermann
Information Processing Letters (2024) Vol. 188, pp. 106522-106522
Open Access
Martín Zimmermann
Information Processing Letters (2024) Vol. 188, pp. 106522-106522
Open Access
Incremental Model Checking for Fuzzy Computation Tree Logic
Haiyu Pan, Jie Zhou, Yuming Lin, et al.
Fuzzy Sets and Systems (2024) Vol. 500, pp. 109195-109195
Closed Access
Haiyu Pan, Jie Zhou, Yuming Lin, et al.
Fuzzy Sets and Systems (2024) Vol. 500, pp. 109195-109195
Closed Access
Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers
Bassem Ghorbel, Vinayak S. Prabhu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 42, Iss. 12, pp. 4436-4449
Closed Access | Times Cited: 1
Bassem Ghorbel, Vinayak S. Prabhu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023) Vol. 42, Iss. 12, pp. 4436-4449
Closed Access | Times Cited: 1
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
Satya Prakash Nayak, Daniel Neider, Martín Zimmermann
arXiv (Cornell University) (2022)
Open Access | Times Cited: 2
Satya Prakash Nayak, Daniel Neider, Martín Zimmermann
arXiv (Cornell University) (2022)
Open Access | Times Cited: 2
Necessity specifications for robustness
Julian Mackay, Susan Eisenbach, James Noble, et al.
Proceedings of the ACM on Programming Languages (2022) Vol. 6, Iss. OOPSLA2, pp. 811-840
Open Access | Times Cited: 2
Julian Mackay, Susan Eisenbach, James Noble, et al.
Proceedings of the ACM on Programming Languages (2022) Vol. 6, Iss. OOPSLA2, pp. 811-840
Open Access | Times Cited: 2
Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime
Satya Prakash Nayak, Daniel Neider, Martín Zimmermann
Lecture notes in computer science (2022), pp. 149-173
Closed Access | Times Cited: 2
Satya Prakash Nayak, Daniel Neider, Martín Zimmermann
Lecture notes in computer science (2022), pp. 149-173
Closed Access | Times Cited: 2
From LTL to rLTL monitoring: improved monitorability through robust semantics
Corto Mascle, Daniel Neider, Maximilian Schwenger, et al.
Formal Methods in System Design (2021) Vol. 59, Iss. 1-3, pp. 170-204
Open Access | Times Cited: 2
Corto Mascle, Daniel Neider, Maximilian Schwenger, et al.
Formal Methods in System Design (2021) Vol. 59, Iss. 1-3, pp. 170-204
Open Access | Times Cited: 2
A Comprehensive Analysis of Methods to Write Requirements for Machine Learning Components used in Autonomous Vehicles
Kaushik Madala, Jayalekshmi Krishnamoorthy, Andrea Gil Batres, et al.
SAE technical papers on CD-ROM/SAE technical paper series (2023)
Closed Access
Kaushik Madala, Jayalekshmi Krishnamoorthy, Andrea Gil Batres, et al.
SAE technical papers on CD-ROM/SAE technical paper series (2023)
Closed Access
ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts
Majid Babaei, Maroua Ben-Attia
(2023), pp. 46-53
Closed Access
Majid Babaei, Maroua Ben-Attia
(2023), pp. 46-53
Closed Access
Specifiable robustness in reactive synthesis
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, et al.
Formal Methods in System Design (2022) Vol. 60, Iss. 2, pp. 259-276
Open Access
Roderick Bloem, Hana Chockler, Masoud Ebrahimi, et al.
Formal Methods in System Design (2022) Vol. 60, Iss. 2, pp. 259-276
Open Access
