scientific article; zbMATH DE number 7318975
From MaRDI portal
Publication:4965809
zbMath1457.68149arXiv1107.1199MaRDI QIDQ4965809
Publication date: 10 March 2021
Full work available at URL: https://arxiv.org/abs/1107.1199
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) 2-person games (91A05) Formal languages and automata (68Q45)
Related Items (4)
Model Checking Real-Time Systems ⋮ Optimal controller synthesis for timed systems ⋮ Unnamed Item ⋮ Symbolic Approximation of Weighted Timed Games
This page was built for publication:
