Sebastian Uchitel

Available identifiers

Publication	Date of Publication	Type
On-the-fly informed search of non-blocking directed controllers	2022-12-09	Paper
Compositional Supervisory Control via Reactive Synthesis and Automated Planning	2020-10-07	Paper
Observational refinement and merge for disjunctive MTSs	2018-10-25	Paper
Merging partial behaviour models with different vocabularies	2013-08-12	Paper
Implied scenario detection in the presence of behaviour constraints	2013-07-24	Paper
Distribution of Modal Transition Systems	2012-11-08	Paper
The modal transition system control problem	2012-11-08	Paper
An inductive approach for modal transition system refinement	2012-08-29	Paper
Deriving non-Zeno behaviour models from goal models using ILP	2010-05-28	Paper
A Sound Observational Semantics for Modal Transition Systems	2009-08-20	Paper
Using abduction and induction for operational requirements elaboration	2009-08-14	Paper
Extracting Requirements from Scenarios with ILP	2007-11-15	Paper
https://portal.mardi4nfdi.de/entity/Q4417967	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q2764108	2002-01-22	Paper

This page was built for person: Sebastian Uchitel