p-Automata: New Foundations for Discrete-Time Probabilistic Verification | IEEE Conference Publication | IEEE Xplore