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.

Alessandro Abate
SearchCollections
Map detail
Alessandro Abate16 visible / 16 total nodes / 25 links

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

Co-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipWorks onAuthorshipWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalAlessandro AbateAAlessandro AbateResearcherYannik SchnitzerAYannik SchnitzerResearcherDavid ParkerADavid ParkerResearcherFormal Synthesis of Lyapunov Neural NetworksWFormal Synthesis of Lya...preprint / 2020Computation of the Transient in Max-Plus Linear Systems via SMT-SolvingWComputation of the Tran...preprint / 2020On the effect of perturbation of conditional probabilities in total variationWOn the effect of pertur...preprint / 2013Machine LearningTMachine Learning49008 worksRobust Parameter Learning for Uncertain MDPsWRobust Parameter Learni...preprint / 2026Low Emission Building Control with Zero-Shot Reinforcement LearningWLow Emission Building C...preprint / 2022Multi-Agent Reinforcement Learning with Temporal Logic SpecificationsWMulti-Agent Reinforceme...preprint / 2021Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time SystemsWTemporal Logic Trees fo...preprint / 2020Cautious Reinforcement Learning with Logical ConstraintsWCautious Reinforcement ...preprint / 2020Computation of ruin probabilities for general discrete-time Markov modelsWComputation of ruin pro...preprint / 2013Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal AbstractionsWAggregation and Control...preprint / 2013Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free ApproachWSymbolic Models for Sto...preprint / 2014Characterization and computation of infinite horizon specifications over Markov processesWCharacterization and co...preprint / 2014
Person15 links

Alessandro Abate

Researcher

PersonYannik SchnitzerCo-authorship / ResearcherPersonDavid ParkerCo-authorship / ResearcherPaperFormal Synthesis of Lyapunov Neural NetworksAuthorship / preprint / 2020PaperComputation of the Transient in Max-Plus Linear Systems via SMT-SolvingAuthorship / preprint / 2020PaperOn the effect of perturbation of conditional probabilities in total variationAuthorship / preprint / 2013TopicMachine LearningWorks on / 49008 worksPaperRobust Parameter Learning for Uncertain MDPsAuthorship / preprint / 2026PaperLow Emission Building Control with Zero-Shot Reinforcement LearningAuthorship / 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)