Browsing Ústav inteligentních systémů by Title
Now showing items 4-5 of 5
-
PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution)
(Springer International Publishing, 2020-02-26)This paper concentrates on improvements of the PredatorHP shape analyzer in the past two years, including, e.g., improved handling of interval-sized memory regions or new support of memory reallocation. The paper characterizes ... -
Shepherding Hordes of Markov Chains
(Springer International Publishing, 2019-04-17)This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and ...