Delicaris, Joanna
- State-space construction of Hybrid Petri nets with multiple stochastic\n firings
2020/10/21 by Jannik Hüls, Hüls, Jannik, Carina Pilch +9 · 2 citations
Computer Science · Decision Sciences · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Petri Nets in System Modeling #Simulation Techniques and Applications
- Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
2023/04/28 by Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika +1 · 2 citations
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)