Bounding the escape time of a linear dynamical system over a compact semialgebraic set by D'Costa, J, Lefaucheux, E, Neumann, E, Ouaknine, J, Worrell, J

Subjects: “…Logic and verification…”

Parameter synthesis for parametric probabilistic dynamical systems and prefix-independent specifications by Baier, C, Funke, F, Jantsch, S, Karimov, T, Lefaucheux, E, Ouaknine, J, Purser, D, Whiteland, MA, Worrell, J

Subjects:

Skolem meets Schanuel by Bilu, Y, Luca, F, Nieuwveld, J, Ouaknine, J, Purser, D, Worrell, J

Subjects: “…Logic and verification…”

Central limit model checking by Bortolussi, L, Cardelli, L, Kwiatkowska, M, Laurenti, L

Subjects: “…Theory of computation → Logic and verification…”

Carnab’s Confirmability Principle and Popper’s Objections by Mohsen Almoallem

Subjects: “…Confirmability Principle, Falsification Principle, Inductive Method, Logical Analysis, Verification Principle, Virtual Method .…”
Get full text