Pallab Dasgupta

Available identifiers

zbMath Open dasgupta.pallabMaRDI QIDQ230078

List of research outcomes

Publication	Date of Publication	Type
A new competitive algorithm for agent searching in unknown streets	2024-07-05	Paper
Learn from your faults: leakage assessment in fault attacks using deep learning	2023-07-05	Paper
Searching game trees under a partial order	2022-09-22	Paper
Learning Temporal Causal Sequence Relationships from Real-Time Time-Series	2021-01-22	Paper
Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization	2018-02-16	Paper
Formal assessment of reliability specifications in embedded cyber-physical systems	2016-10-31	Paper
Agreement under faulty interfaces	2016-06-09	Paper
A fuzzy real-time temporal logic	2015-07-10	Paper
Concurrent Usage Control Implementation Verification Using the SPIN Model Checker	2010-10-28	Paper
Can Semi-Formal be Made More Formal?	2010-06-02	Paper
The power of first-order quantification over states in branching and linear time temporal logics	2009-07-21	Paper
Distributed Computing - IWDC 2004	2005-08-12	Paper
A branching time temporal framework for quantitative reasoning	2003-06-09	Paper
Min-max event-triggered computation tree logic	2003-05-01	Paper
A correction to: ``Agent searching in a tree and the optimality of iterative deepening	2003-02-04	Paper
Heuristic search strategies for multiobjective state space search	2002-02-18	Paper
Min-max Computation Tree Logic	2001-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q4933704	2000-01-11	Paper
Utility of pathmax in partial order heuristic search	1997-02-27	Paper
Agent search in uniform b-ary trees: Multiple goals and unequal costs	1997-02-27	Paper
Multiobjective Heuristic Search in AND/OR Graphs	1996-12-11	Paper
Agent searching in a tree and the optimality of iterative deepening	1995-01-09	Paper

Research outcomes over time

This page was built for person: Pallab Dasgupta