HUBUNGAN ANTARA SELF ESTEEM DAN RELIGIUSITAS TERHADAP CELEBRITY WORSHIP PADA DEMAN K-POP DI KALANGAN REMAJA



Parametric updates in parametric timed automata

We introduce a new class of Parametric Timed Automata (PTAs) read more where we allow clocks to be compared to parameters in guards, as in classic PTAs, but also to be updated to parameters.We focus here on the EF-emptiness problem: "is the set of parameter valuations for which some given location is reachable in the instantiated timed automaton em

read more