Symbolic Model Checking in Non-Boolean Domains (Q3176389): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-10575-8_31
+Normal rank
@@ Property / OpenAlex ID @@
+W801429566
@@ Property / OpenAlex ID: W801429566 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / 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 @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791854
@@ Property / cites work: Q4791854 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Game Refinement Relations and Metrics
@@ Property / cites work: Game Refinement Relations and Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+New results on quantifier elimination over real closed fields and applications to constraint databases
+Normal rank
@@ Property / cites work @@
+Better Quality in Synthesis through Quantitative Objectives
+Normal rank
@@ Property / cites work @@
+Synthesis of Reactive(1) designs
@@ Property / cites work: Synthesis of Reactive(1) designs / rank @@
+Normal rank
@@ Property / cites work @@
+Programming with angelic nondeterminism
@@ Property / cites work: Programming with angelic nondeterminism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539644
@@ Property / cites work: Q4539644 / rank @@
+Normal rank
@@ Property / cites work @@
+Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
+Normal rank
@@ Property / cites work @@
+Q2754102
@@ Property / cites work: Q2754102 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804924
@@ Property / cites work: Q4804924 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418686
@@ Property / cites work: Q4418686 / rank @@
+Normal rank
@@ Property / cites work @@
+The modal mu-calculus alternation hierarchy is strict
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+STACS 2004
@@ Property / cites work: STACS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of quantitative concurrent parity games
+Normal rank
@@ Property / cites work @@
+Qualitative concurrent parity games
@@ Property / cites work: Qualitative concurrent parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative languages
@@ Property / cites work: Quantitative languages / rank @@
+Normal rank
@@ Property / cites work @@
+Value Iteration
@@ Property / cites work: Value Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of stochastic \(\omega \)-regular games
@@ Property / cites work: A survey of stochastic \(\omega \)-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar Analysis and Parsing by Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Antichains: A New Algorithm for Checking Universality of Finite Automata
+Normal rank
@@ Property / cites work @@
+Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking
+Normal rank
@@ Property / cites work @@
+Q4270063
@@ Property / cites work: Q4270063 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains for the Automata-Based Approach to Model-Checking
+Normal rank
@@ Property / cites work @@
+Antichain Algorithms for Finite Automata
@@ Property / cites work: Antichain Algorithms for Finite Automata / rank @@
+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 @@
+An Antichain Algorithm for LTL Realizability
@@ Property / cites work: An Antichain Algorithm for LTL Realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Antichains and compositional algorithms for LTL synthesis
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270068
@@ Property / cites work: Q4270068 / rank @@
+Normal rank
@@ Property / cites work @@
+From pre-historic to post-modern symbolic model checking
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+A classification of symbolic transition systems
@@ Property / cites work: A classification of symbolic transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Finding and fixing faults
@@ Property / cites work: Finding and fixing faults / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+The octagon abstract domain
@@ Property / cites work: The octagon abstract domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892811
@@ Property / cites work: Q2892811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5407248
@@ Property / cites work: Q5407248 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+From program verification to program synthesis
@@ Property / cites work: From program verification to program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of strategies in infinite games
@@ Property / cites work: On the synthesis of strategies in infinite games / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank