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:
Reactive synthesis for finite tasks under resource constraints
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, et al.
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2017), pp. 5326-5332
Open Access | Times Cited: 36
Keliang He, Morteza Lahijanian, Lydia E. Kavraki, et al.
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2017), pp. 5326-5332
Open Access | Times Cited: 36
Showing 26-50 of 36 citing articles:
Optimal Cost-Preference Trade-Off Planning with Multiple Temporal Tasks
Peter Amorese, Morteza Lahijanian
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2023), pp. 2071-2077
Open Access | Times Cited: 1
Peter Amorese, Morteza Lahijanian
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (2023), pp. 2071-2077
Open Access | Times Cited: 1
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications
Takuma Kinugawa, Toshimitsu Ushio
IEICE Transactions on Information and Systems (2022) Vol. E105.D, Iss. 10, pp. 1658-1664
Open Access | Times Cited: 2
Takuma Kinugawa, Toshimitsu Ushio
IEICE Transactions on Information and Systems (2022) Vol. E105.D, Iss. 10, pp. 1658-1664
Open Access | Times Cited: 2
Expert-Informed Autonomous Science Planning for In-situ Observations and Discoveries
Jay W. McMahon, Nisar Ahmed, Morteza Lahijanian, et al.
2022 IEEE Aerospace Conference (AERO) (2022), pp. 1-11
Closed Access | Times Cited: 2
Jay W. McMahon, Nisar Ahmed, Morteza Lahijanian, et al.
2022 IEEE Aerospace Conference (AERO) (2022), pp. 1-11
Closed Access | Times Cited: 2
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions.
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 2
Rachel Schlossman, Minkyu Kim, Ufuk Topcu, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 2
Synthesizing Good-Enough Strategies for LTLf Specifications
Yong Li, Andrea Turrini, Moshe Y. Vardi, et al.
(2021), pp. 4144-4151
Open Access | Times Cited: 2
Yong Li, Andrea Turrini, Moshe Y. Vardi, et al.
(2021), pp. 4144-4151
Open Access | Times Cited: 2
TACoS: A Tool for MTL Controller Synthesis
Till Hofmann, Stefan Schupp
Lecture notes in computer science (2021), pp. 372-379
Closed Access | Times Cited: 2
Till Hofmann, Stefan Schupp
Lecture notes in computer science (2021), pp. 372-379
Closed Access | Times Cited: 2
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints
Till Hofmann, Gerhard Lakemeyer
arXiv (Cornell University) (2021)
Open Access | Times Cited: 1
Till Hofmann, Gerhard Lakemeyer
arXiv (Cornell University) (2021)
Open Access | Times Cited: 1
Sampling-Based Reactive Synthesis for Nondeterministic Hybrid Systems
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
IEEE Robotics and Automation Letters (2023) Vol. 9, Iss. 2, pp. 931-938
Open Access
Qi Heng Ho, Zachary N. Sunberg, Morteza Lahijanian
IEEE Robotics and Automation Letters (2023) Vol. 9, Iss. 2, pp. 931-938
Open Access
Automata-Based Quantitative Verification
Suguman Bansal
arXiv (Cornell University) (2020)
Closed Access
Suguman Bansal
arXiv (Cornell University) (2020)
Closed Access
On Satisficing in Quantitative Games
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
(2021)
Open Access
Suguman Bansal, Krishnendu Chatterjee, Moshe Y. Vardi
(2021)
Open Access
Entropy-Guided Control Improvisation
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, et al.
(2021)
Closed Access
Marcell Vazquez-Chanlatte, Sebastian Junges, Daniel J. Fremont, et al.
(2021)
Closed Access
