Towards Verification-Driven Control Learning

Stefan Mitsch

doi:10.1109/ICAA64256.2024.00023

Towards Verification-Driven Control Learning

Stefan Mitsch

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Pages	98-101
Number of pages	4
ISBN (Electronic)	9798331521011
DOIs	https://doi.org/10.1109/ICAA64256.2024.00023
State	Published - 2024
Event	3rd International Conference on Assured Autonomy, ICAA 2024 - Nashville, United States Duration: Oct 10 2024 → Oct 11 2024

Publication series

Name	Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024

Conference

Conference	3rd International Conference on Assured Autonomy, ICAA 2024
Country/Territory	United States
City	Nashville
Period	10/10/24 → 10/11/24

ASJC Scopus Subject Areas

Artificial Intelligence
Computer Science Applications
Decision Sciences (miscellaneous)
Safety, Risk, Reliability and Quality
Control and Optimization

Keywords

reward shaping
runtime monitoring
safe reinforcement learning
theorem proving

Access to Document

10.1109/ICAA64256.2024.00023

Cite this

Towards Verification-Driven Control Learning. / Mitsch, Stefan.
Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024. IEEE (Institute of Electrical and Electronics Engineers), 2024. p. 98-101 (Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Mitsch, S 2024, Towards Verification-Driven Control Learning. in Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024. Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024, IEEE (Institute of Electrical and Electronics Engineers), pp. 98-101, 3rd International Conference on Assured Autonomy, ICAA 2024, Nashville, United States, 10/10/24. https://doi.org/10.1109/ICAA64256.2024.00023

@inproceedings{eeea8e9f8b5143ca86e2409b08096988,

title = "Towards Verification-Driven Control Learning",

keywords = "reward shaping, runtime monitoring, safe reinforcement learning, theorem proving",

author = "Stefan Mitsch",

note = "Publisher Copyright: {\textcopyright} 2024 IEEE.; 3rd International Conference on Assured Autonomy, ICAA 2024 ; Conference date: 10-10-2024 Through 11-10-2024",

year = "2024",

doi = "10.1109/ICAA64256.2024.00023",

language = "English",

series = "Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

pages = "98--101",

booktitle = "Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024",

}

TY - GEN

T1 - Towards Verification-Driven Control Learning

AU - Mitsch, Stefan

PY - 2024

Y1 - 2024

KW - reward shaping

KW - runtime monitoring

KW - safe reinforcement learning

KW - theorem proving

UR - https://www.scopus.com/pages/publications/85213945292

UR - https://www.scopus.com/pages/publications/85213945292#tab=citedBy

U2 - 10.1109/ICAA64256.2024.00023

DO - 10.1109/ICAA64256.2024.00023

M3 - Conference contribution

AN - SCOPUS:85213945292

T3 - Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024

SP - 98

EP - 101

BT - Proceedings - 2024 International Conference on Assured Autonomy, ICAA 2024

PB - IEEE (Institute of Electrical and Electronics Engineers)

T2 - 3rd International Conference on Assured Autonomy, ICAA 2024

Y2 - 10 October 2024 through 11 October 2024

ER -

Towards Verification-Driven Control Learning

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Cite this