On High-Quality Synthesis (Q5740173): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-34171-2_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2480934395
@@ Property / OpenAlex ID: W2480934395 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing and Reasoning about Quality
@@ Property / cites work: Formalizing and Reasoning about Quality / rank @@
+Normal rank
@@ Property / cites work @@
+Discounting in LTL
@@ Property / cites work: Discounting in LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q2978510
@@ Property / cites work: Q2978510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275381
@@ Property / cites work: Q5275381 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries with Costs
@@ Property / cites work: Synthesis from Component Libraries with Costs / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing robust systems
@@ Property / cites work: Synthesizing robust systems / rank @@
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Environment Assumptions for Synthesis
@@ Property / cites work: Environment Assumptions for Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking discounted temporal properties
@@ Property / cites work: Model checking discounted temporal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics with discounting
+Normal rank
@@ Property / cites work @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Model Checking Quantitative Linear Time Logic
@@ Property / cites work: Model Checking Quantitative Linear Time Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393471
@@ Property / cites work: Q4393471 / rank @@
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Q3113724
@@ Property / cites work: Q3113724 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Synthesis
@@ Property / cites work: Bounded Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5740173