Generation of Minimum Tree-Like Witnesses for Existential CTL

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89960-2_18
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Generalized Minimum Spanning Tree Games

EURO Journal on Computational Optimization
ControlSimulationManagement ScienceOptimizationModelingComputational MathematicsOperations Research
2015English

Offline Algorithms for Dynamic Minimum Spanning Tree Problems

Journal of Algorithms
1994English

Heuristic Search for the Generalized Minimum Spanning Tree Problem

INFORMS Journal on Computing
Management ScienceComputer Science ApplicationsInformation SystemsOperations ResearchSoftware
2005English

Uncertain Quadratic Minimum Spanning Tree Problem

Journal of Communications
Electronic EngineeringElectrical
2014English

Domination on Minimum Diameter Spanning Tree

International Journal of Research in Advent Technology
2019English

A Tree Walks Through the Forest: Milkwoods and Other Botanical Witnesses

Catalyst: Feminism, Theory, Technoscience
2019English

Ontological Tree Generation for Enhanced Information Retrieval

International Journal of Artificial Intelligence & Applications
2013English

Automatically Produced Algorithms for the Generalized Minimum Spanning Tree Problem

Scientific Programming
Computer Science ApplicationsSoftware
2016English

Minimum-Time Trajectory Generation for Quadrotors in Constrained Environments

IEEE Transactions on Control Systems Technology
ControlSystems EngineeringElectricalElectronic Engineering
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy