A Aralex Aachen research explorer

April 14, 2015 conference-paper Open access

Controller synthesis for autonomous systems interacting with human operators

ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)

DOI: 10.1145/2735960.2735973 Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 7 stored of 49

Multiple Long-Run and $$\omega $$-Regular Objectives in MDPs
2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

0

citations
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

11

citations
Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

5

citations
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

2

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

1

citations
Multi-cost Bounded Tradeoff Analysis in MDP
2020 Journal of Automated Reasoning article Computer Science Formal Methods in Verification Open access

22

citations
Simple Strategies in Multi-Objective MDPs
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

29

citations

7 results

References 0