BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

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

Morteza Lahijanian
SearchCollections
Map detail
Morteza Lahijanian12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMorteza LahijanianAMorteza LahijanianResearcherFormal Control Synthesis for Stochastic Neural Network Dynamic ModelsWFormal Control Synthesi...preprint / 2022Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive ArchitectureWCorrect-by-Construction...preprint / 2019Let's Collaborate: Regret-based Reactive Synthesis for Robotic ManipulationWLet's Collaborate: Regr...preprint / 2022Temporal Logic Motion Control using Actor-Critic MethodsWTemporal Logic Motion C...preprint / 2012Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion ControlWLeast Squares Temporal ...preprint / 2011Probabilistically Safe Vehicle Control in a Hostile EnvironmentWProbabilistically Safe ...preprint / 2011Synergistic Offline-Online Control Synthesis via Local Gaussian Process RegressionWSynergistic Offline-Onl...preprint / 2022Strategy Synthesis for Partially-known Switched Stochastic SystemsWStrategy Synthesis for ...preprint / 2022Safety Verification of Unknown Dynamical Systems via Gaussian Process RegressionWSafety Verification of ...preprint / 2020Learning specifications for reactive synthesis with safety constraintsWLearning specifications...preprint / 2026Online Mapping and Motion Planning under Uncertainty for Safe Navigation in Unknown EnvironmentsWOnline Mapping and Moti...preprint / 2020
Person11 links

Morteza Lahijanian

Researcher

PaperFormal Control Synthesis for Stochastic Neural Network Dynamic ModelsAuthorship / preprint / 2022PaperCorrect-by-Construction Advanced Driver Assistance Systems based on a Cognitive ArchitectureAuthorship / preprint / 2019PaperLet's Collaborate: Regret-based Reactive Synthesis for Robotic ManipulationAuthorship / preprint / 2022PaperTemporal Logic Motion Control using Actor-Critic MethodsAuthorship / preprint / 2012PaperLeast Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion ControlAuthorship / preprint / 2011PaperProbabilistically Safe Vehicle Control in a Hostile EnvironmentAuthorship / preprint / 2011PaperSynergistic Offline-Online Control Synthesis via Local Gaussian Process RegressionAuthorship / preprint / 2022PaperStrategy Synthesis for Partially-known Switched Stochastic SystemsAuthorship / preprint / 2022

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)