Controlling a random population (Q2200817): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 16:40, 23 July 2024

scientific article

Language	Label	Description	Also known as
English	Controlling a random population	scientific article

Statements

scholarly article

0 references

Controlling a random population (English)

0 references

10.1007/978-3-030-45231-5_7

0 references

Thomas Colcombet

0 references

Nathanaël Fijalkow

0 references

0 references

publication date

23 September 2020

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-45231-5_7

0 references

0 references

Decisive Markov Chains

0 references

Computation in networks of passively mobile finite-state sensors

0 references

0 references

0 references

Regular Cost Functions, Part I: Logic and Algebra over Words

0 references

Two Recursively Inseparable Problems for Probabilistic Automata

0 references

Maximal Flow Through a Network

0 references

Reasoning about systems with many processes

0 references

Probabilistic Automata on Finite Words: Decidable and Undecidable Problems

0 references

Automata, logics, and infinite games. A guide to current research

0 references

Ordering by Divisibility in Abstract Algebras

0 references

The theory of well-quasi-ordering: a frequently discovered concept

0 references

0 references

The residue of vector sets with applications to decidability problems in Petri nets

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2200817

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2200817&oldid=36619009"