Sebastian Uchitel

MaRDI QIDQ1990513zbMATH OpenWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On-the-fly informed search of non-blocking directed controllers Automatica	2022-12-09	Paper
Compositional Supervisory Control via Reactive Synthesis and Automated Planning IEEE Transactions on Automatic Control	2020-10-07	Paper
Observational refinement and merge for disjunctive MTSs	2018-10-25	Paper
Merging partial behaviour models with different vocabularies CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Implied scenario detection in the presence of behaviour constraints Electronic Notes in Theoretical Computer Science	2013-07-24	Paper
Distribution of Modal Transition Systems FM 2012: Formal Methods	2012-11-08	Paper
The modal transition system control problem FM 2012: Formal Methods	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 Formal Aspects of Computing	2010-05-28	Paper
A Sound Observational Semantics for Modal Transition Systems Theoretical Aspects of Computing - ICTAC 2009	2009-08-20	Paper
Using abduction and induction for operational requirements elaboration Journal of Applied Logic	2009-08-14	Paper
Extracting Requirements from Scenarios with ILP Inductive Logic Programming	2007-11-15	Paper
scientific article; zbMATH DE number 1956611 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1693513 (Why is no real title available?)	2002-01-22	Paper

Research outcomes over time

This page was built for person: Sebastian Uchitel