111 citations · 528 across the 50 of their papers we have counts for
1 paper · 2 filters
Harsh Beohar, Barbara König, Sebastian Küpper +1
We introduce a variant of transition systems, where activation of transitions depends on conditions of the environment and upgrades during runtime potentially create additional tra…