Keyphrases
Newton's Method
99%
Semiring
92%
Fixed Point Equation
43%
Parity Games
42%
Commutative Semiring
41%
Context-free Languages
39%
Least Fixed Point
36%
Polynomial Time
31%
Polynomial Equations
31%
Derivation Trees
29%
Tree-based Analysis
28%
Context-free Grammar
26%
Idempotent Semiring
19%
Fixed-point Arithmetic
18%
Generic Solver
18%
Balancedness
18%
Maximal Point Space
18%
Random Variables
18%
Active Task
18%
Scheduler
18%
Linear Tree
18%
Tail Bounds
18%
Scheduling Tasks
18%
New Task
18%
Monotone Polynomials
18%
Efficient Scheduling
18%
System of Polynomial Equations
18%
Monotone Systems
18%
Tree Transducers
18%
Online Scheduler
18%
Reactive Synthesis
18%
Finite Automata
18%
Parikh's Theorem
18%
System of Equations
18%
Generic Algorithm
18%
Least Solution
16%
Kleene
14%
Strix
11%
Polynomial Systems
11%
Grammar
10%
Datalog
10%
Implementation Details
9%
Positive Polynomial Systems
9%
Convergence Threshold
9%
Dyck Language
9%
Well-formedness
9%
Suffix
9%
Longest Common Prefix
9%
Putting
9%
Reachability Analysis
9%
Computer Science
Polynomial Time
37%
context-free language
34%
Derivation Tree
33%
Context-Free Grammars
30%
Fixed Points
26%
Automaton
26%
Equation System
20%
Generated Task
18%
Fixed-Point Computation
18%
Finite Automata
18%
Scheduling Task
18%
Random Variable
18%
Graphics Processing Unit
18%
Newton's Method
13%
Mealy Machine
11%
Fixed Point Equation
9%
Regular Language
9%
Computational Complexity
9%
Regular Expression
9%
Distributed Game
9%
Reachability Analysis
9%
Procedural Program
9%
Annotation
9%
Winning Strategy
9%
Open Source Tool
9%
Theoretical Computer Science
9%
Reactive System
9%
Classic Approach
9%
Linear Temporal Logic
9%
Parsing
9%
Utility Function
9%
Computer System
9%
Polynomial Equation
9%
Artificial Intelligence
9%
Deep Neural Network
9%
Formal Language
8%
Datalog
7%
Approximation (Algorithm)
7%
Point Iteration
7%
Linear Systems
6%
Generic Algorithm
6%
Mathematics
Newton's Method
100%
Fixed Points
83%
Polynomial Equation
41%
Polynomial
35%
Point Equation
34%
Generic Algorithm
28%
Equation System
28%
Idempotent
16%
Differentiable Function
14%
Upper Bound
10%
Finite Graph
9%
Free Group
9%
Arithmetic Expression
9%
Stochastics
9%
Iterative Method
7%
Fixed Point Iteration
6%
Power Series
5%
Algebraic System
5%
