Vladislav Nenchev

According to our database, Vladislav Nenchev authored at least 21 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Code-Level Safety Verification for Automated Driving: A Case Study.

Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu

Proceedings of the Formal Methods - 26th International Symposium, 2024

Optimizing Energy-Efficient Braking Trajectories with Anticipatory Road Data for Automated Vehicles.

Andres Alvarez Prado, Vladislav Nenchev, Christian Rathgeber

Proceedings of the European Control Conference, 2024

Automatic Parameter Tuning of Self-Driving Vehicles.

Hung-Ju Wu, Vladislav Nenchev, Christian Rathgeber

Proceedings of the IEEE Conference on Control Technology and Applications, 2024

2023

Model checking embedded adaptive cruise controllers.

Vladislav Nenchev

Robotics Auton. Syst., September, 2023

Analytical Safety Bounds for Trajectory Following Controllers in Autonomous Vehicles.

Robert Jacumet, Christian Rathgeber, Vladislav Nenchev

Proceedings of the 9th International Conference on Control, 2023

2021

Learning to falsify automated driving vehicles with prior knowledge.

Andrea Favrin, Vladislav Nenchev, Angelo Cenedese

CoRR, 2021

Automated behavior modeling for verifying safety-relevant modules.

Vladislav Nenchev

Proceedings of the Fifth IEEE International Conference on Robotic Computing, 2021

2018

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

2016

Optimal control for a robotic exploration, pick-up and delivery problem.

Vladislav Nenchev, Christos G. Cassandras, Jörg Raisch

CoRR, 2016

Receding horizon robot control in partially unknown environments with temporal logic constraints.

Vladislav Nenchev, Calin Belta

Proceedings of the 15th European Control Conference, 2016

2015

Optimal adaptive predictive control of a combustion engine.

Vladislav Nenchev, Christian A. Hans

Proceedings of the 14th European Control Conference, 2015

Optimal motion planning with temporal logic and switching constraints.

Vladislav Nenchev, Calin Belta, Jörg Raisch

Proceedings of the 14th European Control Conference, 2015

Approximate closed-loop minimax model predictive operation control of microgrids.

Christian A. Hans, Vladislav Nenchev, Jörg Raisch, Carsten Reincke-Collon

Proceedings of the 14th European Control Conference, 2015

Optimal exploration and control for a robotic pick-up and delivery problem in two dimensions.

Vladislav Nenchev, Christos G. Cassandras

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014

Flexible Noisy Text Correction.

Andrey Sariev, Vladislav Nenchev, Stefan Gerdjikov, Petar Mitankin, Hristo Ganchev, Stoyan Mihov, Tinko Tinchev

Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

Optimal exploration and control for a robotic pick-up and delivery problem.

Vladislav Nenchev, Christos G. Cassandras

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Realization of common statistical methods in computational linguistics with functional automata.

Stefan Gerdjikov, Petar Mitankin, Vladislav Nenchev

Proceedings of the Recent Advances in Natural Language Processing, 2013

Towards time-optimal exploration and control by an autonomous robot.

Vladislav Nenchev, Jörg Raisch

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Extraction of Spelling Variations from Language Structure for Noisy Text Correction.

Stefan Gerdjikov, Stoyan Mihov, Vladislav Nenchev

Proceedings of the 12th International Conference on Document Analysis and Recognition, 2013

2011

Decentralized set-valued state estimation based on non-deterministic chains.

Naim Bajçinca, Yashar Kouhi, Vladislav Nenchev, Jörg Raisch

Proceedings of the XXIII International Symposium on Information, 2011

2010

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

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010