Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2003.00712
Cited By
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
International Conference on Cyber-Physical Systems (ICCPS), 2020
2 March 2020
Abolfazl Lavaei
Fabio Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Majid Zamani
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning"
22 / 22 papers shown
Physics-Informed Reward Machines
Daniel Ajeleye
Ashutosh Trivedi
Majid Zamani
AI4CE
186
0
0
14 Aug 2025
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives
Milad Kazemi
Mateo Perez
Fabio Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Alvaro Velasquez
369
1
0
21 May 2025
Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
IEEE Transactions on Automatic Control (TAC), 2024
Y. Kantaros
Jun Wang
373
7
0
16 Oct 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah
Cameron Voloshin
Chenxi Yang
Abhinav Verma
Swarat Chaudhuri
Sanjit A. Seshia
449
10
0
17 Apr 2024
Scaling Learning based Policy Optimization for Temporal Tasks via Dropout
Navid Hashemi
Bardh Hoxha
Danil Prokhorov
Georgios Fainekos
Jyotirmoy Deshmukh
228
2
0
23 Mar 2024
Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
Oliver Schon
Zhengang Zhong
Sadegh Soudjani
298
13
0
15 Mar 2024
Formal Synthesis of Controllers for Safety-Critical Autonomous Systems: Developments and Challenges
Xiang Yin
Bingzhao Gao
Xiao Yu
297
51
0
20 Feb 2024
Assume-Guarantee Reinforcement Learning
AAAI Conference on Artificial Intelligence (AAAI), 2023
Milad Kazemi
Mateo Perez
Fabio Somenzi
Sadegh Soudjani
Ashutosh Trivedi
Alvaro Velasquez
OffRL
247
6
0
15 Dec 2023
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
Conference on Learning for Dynamics & Control (L4DC), 2023
Jun Wang
Hosein Hasanbeig
Kaiyuan Tan
Zihe Sun
Y. Kantaros
520
5
0
28 Nov 2023
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
Jun Wang
Haojun Chen
Zihe Sun
Y. Kantaros
353
0
0
17 Nov 2023
Searching for Optimal Runtime Assurance via Reachability and Reinforcement Learning
Kristina Miller
Christopher K. Zeitler
William Shen
Kerianne L. Hobbs
Sayan Mitra
John Schierman
Mahesh Viswanathan
236
0
0
06 Oct 2023
Topological Guided Actor-Critic Modular Learning of Continuous Systems with Temporal Objectives
Lening Li
Zhentian Qian
241
0
0
20 Apr 2023
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces
IEEE Conference on Decision and Control (CDC), 2022
Hanna Krasowski
Prithvi Akella
Aaron D. Ames
Matthias Althoff
359
3
0
12 Dec 2022
Accelerated Reinforcement Learning for Temporal Logic Control Objectives
IEEE/RJS International Conference on Intelligent RObots and Systems (IROS), 2022
Y. Kantaros
387
12
0
09 May 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems
Annual Reviews in Control (ARC), 2022
Siyuan Liu
Ashutosh Trivedi
Xiang Yin
Majid Zamani
3DV
228
56
0
14 Feb 2022
Learning to Act Safely with Limited Exposure and Almost Sure Certainty
IEEE Transactions on Automatic Control (IEEE TAC), 2021
Agustin Castellano
Hancheng Min
J. Bazerque
Enrique Mallada
340
6
0
18 May 2021
Symbolic Abstractions From Data: A PAC Learning Approach
IEEE Conference on Decision and Control (CDC), 2021
Alex Devonport
Adnane Saoud
Murat Arcak
120
33
0
28 Apr 2021
Modular Deep Reinforcement Learning for Continuous Motion Planning with Temporal Logic
IEEE Robotics and Automation Letters (RA-L), 2021
Mingyu Cai
Mohammadhosein Hasanbeig
Shaoping Xiao
Alessandro Abate
Z. Kan
875
101
0
24 Feb 2021
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati
Sadegh Soudjani
Majid Zamani
251
16
0
08 May 2020
Formal Policy Synthesis for Continuous-Space Systems via Reinforcement Learning
International Conference on Integrated Formal Methods (IFM), 2020
Milad Kazemi
Sadegh Soudjani
279
32
0
04 May 2020
Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks
Chuanzhen Wang
Yinan Li
Stephen L. Smith
Jun Liu
288
17
0
02 Apr 2020
Certified Reinforcement Learning with Logic Guidance
Artificial Intelligence (AI), 2019
Mohammadhosein Hasanbeig
Daniel Kroening
Alessandro Abate
603
67
0
02 Feb 2019
1
Page 1 of 1
