Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Text availability

Article attribute

Article type

Publication date

Search Results

14 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Scenario-Based Verification of Uncertain MDPs.
Cubuktepe M, Jansen N, Junges S, Katoen JP, Topcu U. Cubuktepe M, et al. Among authors: topcu u. Tools Algorithms Constr Anal Syst I (2020). 2020 Apr;12078:287-305. doi: 10.1007/978-3-030-45190-5_16. Epub 2020 Apr 17. Tools Algorithms Constr Anal Syst I (2020). 2020. PMID: 32754724 Free PMC article.
Near-Optimal Reactive Synthesis Incorporating Runtime Information.
Bharadwaj S, Vinod AP, Dimitrova R, Topcu U. Bharadwaj S, et al. Among authors: topcu u. IEEE Int Conf Robot Autom. 2020;2020:10342-10348. doi: 10.1109/icra40945.2020.9196581. Epub 2020 Sep 15. IEEE Int Conf Robot Autom. 2020. PMID: 33123408 Free PMC article.
Synthesis of Minimum-Cost Shields for Multi-agent Systems.
Bharadwaj S, Bloem R, Dimitrova R, Könighofer B, Topcu U. Bharadwaj S, et al. Among authors: topcu u. Proc Am Control Conf. 2019;2019:10.23919/acc.2019.8815233. doi: 10.23919/acc.2019.8815233. Epub 2019 Aug 29. Proc Am Control Conf. 2019. PMID: 32020984 Free PMC article.
Shield synthesis.
Könighofer B, Alshiekh M, Bloem R, Humphrey L, Könighofer R, Topcu U, Wang C. Könighofer B, et al. Among authors: topcu u. Form Methods Syst Des. 2017;51(2):332-361. doi: 10.1007/s10703-017-0276-9. Epub 2017 Sep 25. Form Methods Syst Des. 2017. PMID: 32009740 Free PMC article.
14 results