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.

Luca Bortolussi
SearchCollections
Map detail
Luca Bortolussi19 visible / 19 total nodes / 41 links

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

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalAuthorshipLuca BortolussiALuca BortolussiResearcherGuiding Neuro-Symbolic Scenario Generation with Spatio-Temporal LogicWGuiding Neuro-Symbolic ...preprint / 2026Francesco GiacomarraAFrancesco GiacomarraResearcherJyotirmoy V. DeshmukhAJyotirmoy V. DeshmukhResearcherLorenzo BoninALorenzo BoninResearcherFrancesca CairoliAFrancesca CairoliResearcherLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic ProcessesWLearning Model Checking...preprint / 2022A kernel function for Signal Temporal Logic formulaeWA kernel function for S...preprint / 2020HYPE with stochastic eventsWHYPE with stochastic ev...preprint / 2011Programmable models of growth and mutation of cancer-cell populationsWProgrammable models of ...preprint / 2011Fluid Model CheckingWFluid Model Checkingpreprint / 2013Hybrid Behaviour of Markov Population ModelsWHybrid Behaviour of Mar...preprint / 2013Hybrid performance modelling of opportunistic networksWHybrid performance mode...preprint / 2012Proceedings Third International Workshop on Hybrid Autonomous SystemsWProceedings Third Inter...preprint / 2013Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and SystemsWProceedings 11th Intern...preprint / 2013Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population ModelsWMean-Field approximatio...preprint / 2014Smoothed Model Checking for Uncertain Continuous Time Markov ChainsWSmoothed Model Checking...preprint / 2014RoboticsTRobotics7585 worksMachine LearningTMachine Learning49008 works
Person18 links

Luca Bortolussi

Researcher

PaperGuiding Neuro-Symbolic Scenario Generation with Spatio-Temporal LogicAuthorship / preprint / 2026PersonFrancesco GiacomarraCo-authorship / ResearcherPersonJyotirmoy V. DeshmukhCo-authorship / ResearcherPersonLorenzo BoninCo-authorship / ResearcherPersonFrancesca CairoliCo-authorship / ResearcherPaperLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic ProcessesAuthorship / preprint / 2022PaperA kernel function for Signal Temporal Logic formulaeAuthorship / preprint / 2020PaperHYPE with stochastic eventsAuthorship / preprint / 2011

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)