Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Georgios Fainekos
Map detail
Georgios Fainekos21 visible / 21 total nodes / 72 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextRelated contextRelated contextRelated contextRelated contextRelated contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalAuthorshipAuthorshipGeorgios FainekosAGeorgios FainekosResearcherVision-Based Runtime Monitoring under Varying Specifications using Semantic Latent RepresentationsWVision-Based Runtime Mo...preprint / 2026Bardh HoxhaABardh HoxhaResearcherOliver SchönAOliver SchönResearcherHideki OkamotoAHideki OkamotoResearcherLars LindemannALars LindemannResearcherMachine LearningTMachine Learning49008 worksComputer VisionTComputer Vision30606 worksRoboticsTRobotics7585 workseess.SYTeess.SY7081 worksRisk-Bounded Control with Kalman Filtering and Stochastic Barrier FunctionsWRisk-Bounded Control wi...preprint / 2021Training Neural Network Controllers Using Control Barrier Functions in the Presence of DisturbancesWTraining Neural Network...preprint / 2020Revision of Specification Automata under Quantitative PreferencesWRevision of Specificati...preprint / 2014Linear Hybrid System Falsification With DescentWLinear Hybrid System Fa...preprint / 2011Towards composition of conformant systemsWTowards composition of ...preprint / 2015NMPC-LBF: Nonlinear MPC with Learned Barrier Function for Decentralized Safe Navigation of Multiple Robots in Unknown EnvironmentsWNMPC-LBF: Nonlinear MPC...preprint / 2022Search-based Test-Case Generation by Monitoring Responsibility Safety RulesWSearch-based Test-Case ...preprint / 2020DeepCrashTest: Turning Dashcam Videos into Virtual Crash Tests for Automated Driving SystemsWDeepCrashTest: Turning ...preprint / 2020Conformance Testing as Falsification for Cyber-Physical SystemsWConformance Testing as ...preprint / 2014On-Line Monitoring for Temporal Logic RobustnessWOn-Line Monitoring for ...preprint / 2014ViSpec: A graphical tool for elicitation of MTL requirementsWViSpec: A graphical too...preprint / 2015
Person20 links

Georgios Fainekos

Researcher