Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control 2021

DOI: 10.1145/3447928.3456646

|View full text |Cite

|

Sign up to set email alerts

|

Fossil

Alessandro Abate

¹

,

²

,

³

et al.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

0

Mentioning

0

Contrasting

0

Year Published

2022

2022

2024

2024

Publication Types

Select...

Book4

Article1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 25 publications

References 22 publications

Supporting

0

Mentioning

0

Contrasting

0

Order By: Relevance

Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers

¹

,

²

,

Sivaramakrishnan

³

et al. 2022

Springer Proceedings in Advanced Robotics

View full text Add to dashboard Cite

No abstract

Morse Graphs: Topological Tools for Analyzing the Global Dynamics of Robot Controllers

¹

,

²

,

Sivaramakrishnan

³

et al. 2022

Springer Proceedings in Advanced Robotics

View full text Add to dashboard Cite

No abstract

A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems

¹

,

²

,

³

et al. 2023

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

Reinforcement learning has received much attention for learning controllers of deterministic systems. We consider a learner-verifier framework for stochastic control systems and survey recent methods that formally guarantee a conjunction of reachability and safety properties. Given a property and a lower bound on the probability of the property being satisfied, our framework jointly learns a control policy and a formal certificate to ensure the satisfaction of the property with a desired probability threshold. Both the control policy and the formal certificate are continuous functions from states to reals, which are learned as parameterized neural networks. While in the deterministic case, the certificates are invariant and barrier functions for safety, or Lyapunov and ranking functions for liveness, in the stochastic case the certificates are supermartingales. For certificate verification, we use interval arithmetic abstract interpretation to bound the expected values of neural network functions.

Verification of Quantum Systems Using Barrier Certificates

Lewis,

Zuliani,

Soudjani

2023

Quantitative Evaluation of Systems

View full text Add to dashboard Cite

No abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Product

Browser Extension Assistant by scite Citation Statement Search Reference Check Visualizations Dashboards Explore Journals Explore Organizations Explore Funders Embedding Badge Embedding Citation Search Pricing

Resources

Blog Help & FAQ Accessibility Statement API Terms For Universities & Governments For Researchers For Publishers For Corporate, Pharma & Enterprise Author Marketing Become an Affiliate Get an organization trial or quote scite Data & Services

About

News & Press Careers Read our Paper Coverage

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Copyright © 2024 scite LLC. All rights reserved.

Made with 💙 for researchers

Part of the Research Solutions Family.