Distributed state estimation for hybrid and discrete event systems using l-complete approximations. - Jörg Raisch; Thomas Moor; Naim Bajçinca; Stephanie Geist; Vladislav Nenchev (WODES, 2010)

Decentralized set-valued state estimation based on non-deterministic chains. - Naim Bajçinca; Yashar Kouhi; Vladislav Nenchev; Jörg Raisch (ICAT, 2011)

Extraction of Spelling Variations from Language Structure for Noisy Text Correction. - Stefan Gerdjikov; Stoyan Mihov; Vladislav Nenchev (ICDAR, 2013)

Towards time-optimal exploration and control by an autonomous robot. - Vladislav Nenchev; Jörg Raisch (MED, 2013)

Realization of common statistical methods in computational linguistics with functional automata. - Stefan Gerdjikov; Petar Mitankin; Vladislav Nenchev (RANLP, 2013)

Optimal exploration and control for a robotic pick-up and delivery problem. - Vladislav Nenchev; Christos G. Cassandras (CDC, 2014)

Flexible Noisy Text Correction. - Andrey Sariev; Vladislav Nenchev; Stefan Gerdjikov; Petar Mitankin; Hristo Ganchev; Stoyan Mihov; Tinko Tinchev (Document Analysis Systems, 2014)

Optimal exploration and control for a robotic pick-up and delivery problem in two dimensions. - Vladislav Nenchev; Christos G. Cassandras (CDC, 2015)

Approximate closed-loop minimax model predictive operation control of microgrids. - Christian A. Hans; Vladislav Nenchev; Jörg Raisch; Carsten Reincke-Collon (ECC, 2015)

Optimal motion planning with temporal logic and switching constraints. - Vladislav Nenchev; Calin Belta; Jörg Raisch (ECC, 2015)

Optimal adaptive predictive control of a combustion engine. - Vladislav Nenchev; Christian A. Hans (ECC, 2015)

Receding horizon robot control in partially unknown environments with temporal logic constraints. - Vladislav Nenchev; Calin Belta (ECC, 2016)

Optimal control for a robotic exploration, pick-up and delivery problem. - Vladislav Nenchev; Christos G. Cassandras; Jörg Raisch (CoRR, 2016)

Automatic requirements extraction, analysis, and graph representation using an approach derived from computational linguistics. - Faisal Mokammel; Eric Coatanéa; Joonas Coatanéa; Vladislav Nenchev; Eric Blanco; Matti Pietola (Syst. Eng., 2018)

Automated behavior modeling for verifying safety-relevant modules. - Vladislav Nenchev (IRC, 2021)

Learning to falsify automated driving vehicles with prior knowledge. - Andrea Favrin; Vladislav Nenchev; Angelo Cenedese (CoRR, 2021)

Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles. - Robert Jacumet; Christian Rathgeber; Vladislav Nenchev (CoDIT, 2023)

Model checking embedded adaptive cruise controllers. - Vladislav Nenchev (Robotics Auton. Syst., 2023)

Automatic Parameter Tuning of Self-Driving Vehicles. - Hung-Ju Wu; Vladislav Nenchev; Christian Rathgeber (CCTA, 2024)

Optimizing Energy-Efficient Braking Trajectories with Anticipatory Road Data for Automated Vehicles. - Andres Alvarez Prado; Vladislav Nenchev; Christian Rathgeber (ECC, 2024)

Code-Level Safety Verification for Automated Driving: A Case Study. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (FM (2), 2024)

Monitoring Progress and Failure in Autonomous Robot Navigation: A Case Study. - Vladislav Nenchev; Prodromos Sotiriadis (RV, 2025)

One Stack, Diverse Vehicles: Checking Safe Portability of Automated Driving Software. - Vladislav Nenchev (SII, 2025)

Compositional code-level safety verification for automated driving controllers. - Vladislav Nenchev; Calum Imrie; Simos Gerasimou; Radu Calinescu (J. Syst. Softw., 2025)

Trajectory Planning for Automated Driving using Target Funnels. - Benjamin Bogenberger; Johannes Bürger; Vladislav Nenchev (CoRR, 2025)

Improving Functional Reliability of Near-Field Monitoring for Emergency Braking in Autonomous Vehicles. - Junnan Pan; Prodromos Sotiriadis; Vladislav Nenchev; Ferdinand Englberger (CoRR, 2025)

Parameter Tuning Under Uncertain Road Perception in Driver Assistance Systems. - Leon Greiser; Christian Rathgeber; Vladislav Nenchev; Sören Hohmann (CoRR, 2025)