The following pages link to Sebastian Uchitel (Q1990513):
Displaying 15 items.
- (Q833727) (redirect page) (← links)
- Using abduction and induction for operational requirements elaboration (Q833728) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Observational refinement and merge for disjunctive MTSs (Q1990514) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- (Q2764108) (← links)
- Implied Scenario Detection in the Presence of Behaviour Constraints (Q2841318) (← links)
- Merging Partial Behaviour Models with Different Vocabularies (Q2842099) (← links)
- An Inductive Approach for Modal Transition System Refinement (Q2909149) (← links)
- A Sound Observational Semantics for Modal Transition Systems (Q3393411) (← links)
- (Q4417967) (← links)
- The Modal Transition System Control Problem (Q4647840) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)
- Compositional Supervisory Control via Reactive Synthesis and Automated Planning (Q5125773) (← links)
- Extracting Requirements from Scenarios with ILP (Q5426036) (← links)
