Compositional policy learning in stochastic control systems with formal guarantees

Compositional policy learning in stochastic control systems with formal guarantees

Reinforcement learning has shown promising results in learning neural network policies for complicated control tasks. However, the lack of formal guarantees about the behavior of such policies remains an impediment to their deployment. We propose a novel method for learning a composition of neural n...

Saved in:

書目詳細資料
Main Authors:	ZIKELIC, Dorde, LECHNER, Mathias, Verma, Abhinav, CHATTERJEE, Krishnendu, HENZINGER, Thomas A.
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2024
主題:	Verification Compositional learning Databases and Information Systems Programming Languages and Compilers
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/9031 https://ink.library.smu.edu.sg/context/sis_research/article/10034/viewcontent/13726_compositional_policy_learning_.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Learning control policies for stochastic systems with reach-avoid guarantees
由: ZIKELIC, Dorde, et al.
出版: (2023)

Learning provably stabilizing neural controllers for discrete-time stochastic systems
由: ANSARIPOUR, Matin, et al.
出版: (2023)

A learner-verifier framework for neural network controllers and certificates of stochastic systems
由: CHATTERJEE, Krishnendu, et al.
出版: (2023)

Stochastic invariants for probabilistic termination
由: CHATTERJEE, Krishnendu, et al.
出版: (2017)

Sound and complete certificates for quantitative termination analysis of probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2022)

Stability verification in stochastic control systems via neural network supermartingales
由: LECHNER, Mathias, et al.
出版: (2024)

Sound and complete witnesses for template-based verification of LTL properties on polynomial programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2024)

Formal approach to program verification
由: Chatchai Koetsawat
出版: (2006)

Equivalence and similarity refutation for probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2025)

Quantitative bounds on resource usage of probabilistic programs
由: CHATTERJEE, Krishnendu, et al.
出版: (2026)

Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
由: AKSHAY, S., et al.
出版: (2024)

Infinite time horizon safety of Bayesian neural networks
由: LECHNER, Mathias, et al.
出版: (2021)

Proving non-termination by program reversal
由: CHATTERJEE, Krishnendu, et al.
出版: (2021)

A formal framework for modeling and validating Simulink diagrams
由: CHEN, Chunqing, et al.
出版: (2009)

Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
由: LECHNER, Mathias, et al.
出版: (2023)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: SUN, Jun, et al.
出版: (2013)

FORMAL ANALYSIS OF WEB SERVICE COMPOSITION
由: CHEN MANMAN
出版: (2015)

Optimizing expectation with guarantees in POMDPs
由: CHATTERJEE, Krishnendu, et al.
出版: (2017)

Plug-and-play policy planner for large language model powered dialogue agents
由: DENG, Yang, et al.
出版: (2024)

Scalable verification of quantized neural networks
由: HENZINGER, Thomas A., et al.
出版: (2021)

Using monterey phoenix to formalize and verify system architectures
由: ZHANG, Jiexin, et al.
出版: (2012)

A formal model of semantic Web Service Ontology (WSMO) execution
由: WANG, Hai H., et al.
出版: (2008)

Translating PDDL into CSP# - The PAT approach
由: LI, Yi, et al.
出版: (2012)

A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic
由: LE, Xuan Bach, et al.
出版: (2022)

A comparative of distributed dead-lock detection algorithms
由: Escarrilla, Carlos V., et al.
出版: (1994)

Fine-grained detection of programming students’ frustration using keystrokes, mouse clicks and interaction logs
由: FWA, Hua Leong
出版: (2016)

Resource constrained deep reinforcement learning
由: BHATIA, Abhinav, et al.
出版: (2019)

Machine-assisted proof support for validation beyond Simulink
由: CHEN, Chunqing, et al.
出版: (2007)

SGUARD: Towards fixing vulnerable smart contracts automatically
由: NGUYEN, Tai D., et al.
出版: (2021)

A weakly supervised propagation model for rumor verification and stance detection with multiple instance learning
由: YANG, Ruichao, et al.
出版: (2022)

A BERT-based dual embedding model for Chinese idiom prediction
由: TAN, Minghuan, et al.
出版: (2020)

Electronic branching ratio of the lepton
由: AMMAR, R., et al.
出版: (1992)

Cross-thought for sentence encoder pre-training
由: WANG, Shuohang, et al.
出版: (2020)

A measurement of the inclusive b → sγ branching ratio
由: BARATE, R., et al.
出版: (1998)

A study of single W production in e+e- collisions at √s = 161-183 GeV
由: BARATE, R., et al.
出版: (1999)

Determination of the LEP centre-of-mass energy from Zγ events
由: BARATE, R., et al.
出版: (1999)

Four-jet final state production in e+e- collisions at centre-of-mass energies ranging from 130 to 184 GeV
由: BARATE, R., et al.
出版: (1998)

Measurement of W-pair production in e+e- collisions at 183 GeV
由: BARATE, R., et al.
出版: (1999)

Search for sleptons in e+e- collisions at centre-of-mass energies up to 184 GeV ALEPH Collaboration
由: BARATE, R., et al.
出版: (1998)

Isospin mass splittings from precision measurements of D*-D mass differences
由: BORTOLETTO, D., et al.
出版: (1992)