Reachability Problems

Invited Papers.- Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach.-The Satis ability and Validity Problems for Probabilistic CTL.-Computability and Reachability.- Computing Reachable Simulations on Transition Systems.- Computing All Minimal Ways to Reach a Context-Free Language.- On Solving All-Path Reachability Problems for Starvation Freedom of Concurrent Rewrite Systems under Process Fairness.- Automata and Complexity.- Rollercoasters with Plateaus.- Quantum Automata and Languages of Finite Index.- On Shortest Products for Nonnegative Matrix Mortality.- Hardness of Busy Beaver Value BB(15).- Linear Systems and Recurrences.- On the Complexity of Reachability and Mortality for Bounded Piecewise Affine Maps.- Semi-Linear VASR for Over-Approximate Semi-Linear System Reachability.-Reachability in Linear Recurrence Automata.- Games and Abstractions.- Robust Deterministic Abstractions for Supervising Discrete-time Continuous Systems.- Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.- Modelling Dynamical Systems: Learning ODEs with No Internal ODE Resolution.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Matemática para cientistas da computação
• Inteligência artificial
• Teoria matemática da computação
• Engenharia do software

reachability;logic;complexity;automata theory;formal languages;model checking;probabilistic systems;software verification;decidability;security;algebraic structures;game theory;concurrency;distributed computation;decision procedures;hybrid dynamical systems