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
The Modal Transition System Control Problem	2012-11-08	Paper
Distribution of Modal Transition Systems	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Sebastian Uchitel