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
Professor John Fitzgerald
Paulius Stankaitis
| Data-Driven Reachability Analysis of Digital Twin FMI Models | 2022 |
|
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 |
|
