IATROGENIC BOTULISM CASES AFTER GASTRIC AND AXILLARY APPLICATION OF BOTULINUM TOXIN AND REVIEW OF LITERATURE



Reachability and liveness in parametric timed automata

We study timed systems in which some timing features are unknown parameters.Parametric timed automata (PTAs) are a classical formalism for such systems but for which most interesting problems are undecidable.Notably, the parametric reachability emptiness problem, i.e., the emptiness of the parameter valuations AV set allowing to reach some given di

read more