Pages that link to "Item:Q4990197"
From MaRDI portal
The following pages link to Verification of Detectability for Unambiguous Weighted Automata (Q4990197):
Displaying 6 items.
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- Detectability of labeled weighted automata over monoids (Q2081085) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- (Q4528870) (← links)
- On the verification of detectability for timed discrete event systems (Q6550243) (← links)
- State estimation for constant-time labeled automata under dense time (Q6632510) (← links)