Minimizing Expected Cost Under Hard Boolean Constraints, with Applications to Quantitative Synthesis

Shaull Almagor, Orna Kupferman, Yaron Velner

Type: Preprint

Publication Date: 2016-01-01

Citations: 8

DOI: https://doi.org/10.48550/arxiv.1604.07064

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	High-Quality Synthesis Against Stochastic Environments	2016	Shaull Almagor Orna Kupferman
+	High-Quality Synthesis Against Stochastic Environments	2016	Shaull Almagor Orna Kupferman
+	Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games	2013	Véronique Bruyère Emmanuel Filiot Mickaël Randour Jean-François Raskin
+	Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games	2013	Véronique Bruyère Emmanuel Filiot Mickaël Randour Jean-François Raskin
+	Good-Enough Synthesis	2021	Shaull Almagor Orna Kupferman
+ PDF Chat	Measuring and Synthesizing Systems in Probabilistic Environments	2015	Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh
+	Synthesis from LTL Specifications with Mean-Payoff Objectives	2013	Aaron Bohy Véronique Bruyère Emmanuel Filiot Jean-François Raskin
+	Energy and Mean-Payoff Parity Markov Decision Processes	2011	Krishnendu Chatterjee Laurent Doyen
+	Energy and Mean-Payoff Parity Markov Decision Processes	2011	Krishnendu Chatterjee Laurent Doyen
+	Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes	2017	Raphaël Berthon Mickaël Randour Jean-François Raskin
+	Optimal Repair For Omega-regular Properties	2022	Vrunda Dave Shankara Narayanan Krishna Vishnu Murali Ashutosh Trivedi
+	Measuring and Synthesizing Systems in Probabilistic Environments	2010	Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh
+	Measuring and Synthesizing Systems in Probabilistic Environments	2010	Krishnendu Chatterjee Thomas A. Henzinger Barbara Jobstmann Rohit Singh
+	Strategy Synthesis for Multi-dimensional Quantitative Objectives	2012	Krishnendu Chatterjee Mickaël Randour Jean-François Raskin
+	Strategy Synthesis for Multi-dimensional Quantitative Objectives	2012	Krishnendu Chatterjee Mickaël Randour Jean-François Raskin
+	Contract-Based Distributed Synthesis in Two-Objective Parity Games	2023	Ashwani Anand Satya Prakash Nayak Anne-Kathrin Schmuck
+	Finite LTL Synthesis with Environment Assumptions and Quality Measures	2018	Alberto Rivas Meghyn Bienvenu Sheila A. McIlraith
+	Finite LTL Synthesis with Environment Assumptions and Quality Measures	2018	Alberto Camacho Meghyn Bienvenu Sheila A. McIlraith
+	Finite LTL Synthesis with Environment Assumptions and Quality Measures.	2018	Alberto Rivas Meghyn Bienvenu Sheila A. McIlraith
+ PDF Chat	Learning Optimal Strategies for Temporal Tasks in Stochastic Games	2024	Alper Kamil Bozkurt Yu Wang Michael M. Zavlanos Miroslav Pajić

Works That Cite This (1)

Action	Title	Year	Authors
+	Games on Graphs	2023	Nathanaël Fijalkow Nathalie Bertrand Patricia Bouyer Romain Brenguier Arnaud Carayol John Fearnley Hugo Gimbert Florian Horn Rasmus Ibsen-Jensen Nicolas Markey

Works Cited by This (2)

Action	Title	Year	Authors
+ PDF Chat	Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes	2015	Krishnendu Chatterjee Zuzana Komárková Jan Křetínský
+	Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives	2015	Lorenzo Clemente Jean-François Raskin