Publications by Dr Sergiy Bogomolov - ePrints

Newcastle Authors	Title	Year
Dr Sergiy Bogomolov Dr Alexei Iliasov Emeritus Professor Alexander Romanovsky Dr Paulius Stankaitis	A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems	2023
Dr Sergiy Bogomolov	Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling: Proofs	2020
Dr Sergiy Bogomolov	Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices	2018
Dr Sergiy Bogomolov	Counterexample-guided refinement of template polyhedra	2017
Dr Sergiy Bogomolov	HYST: a source transformation and translation tool for hybrid automaton models	2015
Dr Sergiy Bogomolov	PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior	2015
Dr Sergiy Bogomolov	Planning as Model Checking in Hybrid Domains	2014