V. Braberman

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
On-the-fly workload prediction and redistribution in the distributed timed model checker Zeus	2013-09-25	Paper
\textsc{Zeus}: a distributed timed model-checker based on \textsc{Kronos}	2013-08-16	Paper
On improving backwards verification of timed automata (extended abstract)	2013-08-15	Paper
Distribution of Modal Transition Systems	2012-11-08	Paper
The Modal Transition System Control Problem	2012-11-08	Paper
Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis	2009-12-01	Paper
A Sound Observational Semantics for Modal Transition Systems	2009-08-20	Paper
Hypervolume Approximation in Timed Automata Model Checking	2008-07-03	Paper
Dealing with practical limitations of distributed timed model checking for timed automata	2006-10-24	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4472225	2004-08-04	Paper

This page was built for person: V. Braberman