scientific article; zbMATH DE number 7559425
From MaRDI portal
Publication:5089224
Recommendations
- Algebraic model checking for discrete linear dynamical systems
- scientific article; zbMATH DE number 1956650
- Linear Encodings of Bounded LTL Model Checking
- LTL Generalized Model Checking Revisited
- Bounded LTL model checking with stable models
- LTL-model-checking via model composition
- Model checking LTL with regular valuations for pushdown systems
- Complexity of model checking MDPs against LTL specifications
- scientific article; zbMATH DE number 1701759
- Linear parametric model checking of timed automata
Cites work
- A brief account of runtime verification
- Approximate verification of the symbolic dynamics of Markov chains
- Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
- scientific article; zbMATH DE number 3823893 (Why is no real title available?)
- scientific article; zbMATH DE number 3785018 (Why is no real title available?)
- scientific article; zbMATH DE number 7559115 (Why is no real title available?)
- scientific article; zbMATH DE number 7204476 (Why is no real title available?)
- scientific article; zbMATH DE number 3336831 (Why is no real title available?)
- Occurrence of zero in a linear recursive sequence
- On the complexity of the orbit problem
- Structure and randomness. Pages from year one of a mathematical blog
- The orbit problem in higher dimensions
- The polyhedron-hitting problem
- Ultimate positivity is decidable for simple linear recurrence sequences
Cited in
(5)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5089224)
