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.

Erika Ábrahám
SearchCollections
Map detail
Erika Ábrahám14 visible / 14 total nodes / 35 links

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

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipWorks onAuthorshipWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalAuthorshipAuthorshipAuthorshipErika ÁbrahámAErika ÁbrahámResearcherAttribution-based Explanations for Markov Decision ProcessesWAttribution-based Expla...preprint / 2026Andrea PferscherAAndrea PferscherResearcherPaul KobialkaAPaul KobialkaResearcherFrancesco LeofanteAFrancesco LeofanteResearcherSilvia Lizeth Tapia TarifaASilvia Lizeth Tapia TarifaResearcherEinar Broch JohnsenAEinar Broch JohnsenResearcherArtificial IntelligenceTArtificial Intelligence22915 worksA Rewriting-Logic-Based Technique for Modeling Thermal SystemsWA Rewriting-Logic-Based...preprint / 2010The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov ChainsWThe COMICS Tool - Compu...preprint / 2012Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude SpecificationsWModel Checking Classes ...preprint / 2010High-level Counterexamples for Probabilistic AutomataWHigh-level Counterexamp...preprint / 2015Robot Swarms as Hybrid Systems: Modelling and VerificationWRobot Swarms as Hybrid ...preprint / 2022Accelerating Parametric Probabilistic VerificationWAccelerating Parametric...preprint / 2014
Person13 links

Erika Ábrahám

Researcher

PaperAttribution-based Explanations for Markov Decision ProcessesAuthorship / preprint / 2026PersonAndrea PferscherCo-authorship / ResearcherPersonPaul KobialkaCo-authorship / ResearcherPersonFrancesco LeofanteCo-authorship / ResearcherPersonSilvia Lizeth Tapia TarifaCo-authorship / ResearcherPersonEinar Broch JohnsenCo-authorship / ResearcherTopicArtificial IntelligenceWorks on / 22915 worksPaperA Rewriting-Logic-Based Technique for Modeling Thermal SystemsAuthorship / preprint / 2010

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)