The following pages link to Pablo F. Castro (Q526729):
Displaying 6 items.
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Simulation relations for fault-tolerance (Q1688554) (← links)
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards (Q6487330) (← links)
