Farokh Bastani

Available identifiers

Publication	Date of Publication	Type
Fast strong planning for fully observable nondeterministic planning problems	2017-01-25	Paper
Optimization models for assessing the peak capacity utilization of intelligent transportation systems	2012-05-14	Paper
Systematic validation of a relational control program for the bay area rapid transit system	2001-10-21	Paper
A self-adjusting algorithm for Byzantine agreement	1992-09-27	Paper
Effect of artificial-intelligence planning-procedures on system reliability	1991-01-01	Paper
The effect of statically and dynamically replicated components on system reliability	1990-01-01	Paper
A class of inherently fault tolerant distributed programs	1988-01-01	Paper
Concurrent Maintenance of Data Structures in a Distributed Environment	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792634	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4207563	1986-01-01	Paper
On the Uncertainty in the Correctness of Computer Programs	1985-01-01	Paper
A methodology for assessing the correctness of control programs	1984-01-01	Paper
Performance Improvement of Abstractions Through Context Dependent Transformations	1984-01-01	Paper

This page was built for person: Farokh Bastani