
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:
Formal Control Synthesis for Stochastic Neural Network Dynamic Models
Steven Adams, Morteza Lahijanian, Luca Laurenti
IEEE Control Systems Letters (2022) Vol. 6, pp. 2858-2863
Open Access | Times Cited: 8
Steven Adams, Morteza Lahijanian, Luca Laurenti
IEEE Control Systems Letters (2022) Vol. 6, pp. 2858-2863
Open Access | Times Cited: 8
Showing 8 citing articles:
Distributionally Robust Strategy Synthesis for Switched Stochastic Systems
Ibón Gracia, Dimitris Boskos, Luca Laurenti, et al.
(2023) Vol. 55, pp. 1-10
Open Access | Times Cited: 4
Ibón Gracia, Dimitris Boskos, Luca Laurenti, et al.
(2023) Vol. 55, pp. 1-10
Open Access | Times Cited: 4
Data-Driven Abstractions via Binary-Tree Gaussian Processes for Formal Verification
Oliver Schön, Shammakh Naseer, Ben Wooding, et al.
IFAC-PapersOnLine (2024) Vol. 58, Iss. 11, pp. 115-122
Open Access
Oliver Schön, Shammakh Naseer, Ben Wooding, et al.
IFAC-PapersOnLine (2024) Vol. 58, Iss. 11, pp. 115-122
Open Access
Efficient strategy synthesis for switched stochastic systems with distributional uncertainty
Ibón Gracia, Dimitris Boskos, Morteza Lahijanian, et al.
Nonlinear Analysis Hybrid Systems (2024) Vol. 55, pp. 101554-101554
Open Access
Ibón Gracia, Dimitris Boskos, Morteza Lahijanian, et al.
Nonlinear Analysis Hybrid Systems (2024) Vol. 55, pp. 101554-101554
Open Access
Towards global neural network abstractions with locally-exact reconstruction
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Neural Networks (2023) Vol. 165, pp. 344-357
Open Access | Times Cited: 1
Edoardo Manino, Iury Bessa, Lucas C. Cordeiro
Neural Networks (2023) Vol. 165, pp. 344-357
Open Access | Times Cited: 1
Formal Abstraction of General Stochastic Systems via Noise Partitioning
John Skovbekk, Luca Laurenti, Eric W. Frew, et al.
IEEE Control Systems Letters (2023) Vol. 7, pp. 3711-3716
Open Access | Times Cited: 1
John Skovbekk, Luca Laurenti, Eric W. Frew, et al.
IEEE Control Systems Letters (2023) Vol. 7, pp. 3711-3716
Open Access | Times Cited: 1
Promises of Deep Kernel Learning for Control Synthesis
R. E. Reed, Luca Laurenti, Morteza Lahijanian
IEEE Control Systems Letters (2023) Vol. 7, pp. 3986-3991
Open Access | Times Cited: 1
R. E. Reed, Luca Laurenti, Morteza Lahijanian
IEEE Control Systems Letters (2023) Vol. 7, pp. 3986-3991
Open Access | Times Cited: 1
A Contracting Dynamical System Perspective toward Interval Markov Decision Processes
Saber Jafarpour, Samuel Coogan
(2023) Vol. 15, pp. 2918-2924
Open Access | Times Cited: 1
Saber Jafarpour, Samuel Coogan
(2023) Vol. 15, pp. 2918-2924
Open Access | Times Cited: 1