On the public citation graph
Safety, liveness and fairness in temporal logic
0 signed · 204 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1016/0020-0190(86)90132-8openalex-snapshot
Safety without stuttering
inferredcites →https://doi.org/10.1016/0020-0190(93)90074-jopenalex-snapshot
Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
inferredcites →https://doi.org/10.1016/0167-6423(87)90036-0openalex-snapshot
Modalities for model checking: branching time logic strikes back
inferredcites →https://doi.org/10.1016/0304-3975(83)90082-8openalex-snapshot
Alternative semantics for temporal logics
inferredcites →https://doi.org/10.1016/0304-3975(91)90041-yopenalex-snapshot
Completing the temporal picture
inferredcites →https://doi.org/10.1016/s0019-9958(84)80043-1openalex-snapshot
Can message buffers be axiomatized in linear temporal logic?
inferredcites →https://doi.org/10.1109/tse.1977.229904openalex-snapshot
Proving the Correctness of Multiprocess Programs
inferredcites →https://doi.org/10.1145/323596.323600openalex-snapshot
On characterization of safety and liveness properties in temporal logic
inferredcites →https://doi.org/10.1145/357172.357178openalex-snapshot
Proving Liveness Properties of Concurrent Programs
inferredcites →https://doi.org/10.1145/3828.3837openalex-snapshot
The complexity of propositional linear temporal logics
inferredcites →https://doi.org/10.1145/41840.41857openalex-snapshot
A hierarchy of temporal properties
inferredcites →https://doi.org/10.1145/5397.5399openalex-snapshot
Automatic verification of finite-state concurrent systems using temporal logic specifications
inferredcites →https://doi.org/10.1145/93385.93442openalex-snapshot
A hierarchy of temporal properties (invited paper, 1989)
inferredcites →https://doi.org/10.4064/-21-1-403-417openalex-snapshot
Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.2139/ssrn.4623116openalex-extracted
Prenex Universal First-Order Safety Properties
inferred← citeshttps://doi.org/10.1002/cpe.70018openalex-snapshot
Fairly Decentralizing a Hybrid Concurrency Control Protocol for Real‐Time Database Systems
inferred← citeshttps://doi.org/10.1007/11901914_11openalex-snapshot
On the Construction of Fine Automata for Safety Properties
inferred← citeshttps://doi.org/10.1007/11901914_12openalex-snapshot
On the Succinctness of Nondeterminism
inferred← citeshttps://doi.org/10.1007/11955757_11openalex-snapshot
Verification of LTL on B Event Systems
inferred← citeshttps://doi.org/10.1007/3-540-44585-4_7openalex-snapshot
A Practical Approach to Coverage in Model Checking
inferred← citeshttps://doi.org/10.1007/3-540-44829-2_5openalex-snapshot
Efficient Model Checking of Safety Properties
inferred← citeshttps://doi.org/10.1007/3-540-45620-1_35openalex-snapshot
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains
inferred← citeshttps://doi.org/10.1007/3-540-45726-7_3openalex-snapshot
ω-Regular Languages Are Testable with a Constant Number of Queries
inferred← citeshttps://doi.org/10.1007/3-540-45832-8_4openalex-snapshot
Approximating the Behaviour of Graph Transformation Systems
inferred← citeshttps://doi.org/10.1007/3-540-48683-6_17openalex-snapshot
Model Checking of Safety Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-03427-6_11openalex-snapshot
Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges
inferred← citeshttps://doi.org/10.1007/978-3-030-03769-7_7openalex-snapshot
Runtime Verification: From Propositional to First-Order Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-18744-6_9openalex-snapshot
Efficient Data Validation for Geographical Interlocking Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-22348-9_14openalex-snapshot
Refining the Safety–Liveness Classification of Temporal Properties According to Monitorability
inferred← citeshttps://doi.org/10.1007/978-3-030-24886-4_14openalex-snapshot
Eventually Safe Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-32079-9_4openalex-snapshot
On the Runtime Enforcement of Timed Properties
inferred← citeshttps://doi.org/10.1007/978-3-030-54549-9_8openalex-snapshot
Efficient Translation of Safety LTL to DFA Using Symbolic Automata Learning and Inductive Inference
inferred← citeshttps://doi.org/10.1007/978-3-030-92124-8_5openalex-snapshot
Exhaustive Property Oriented Model-Based Testing with Symbolic Finite State Machines
inferred← citeshttps://doi.org/10.1007/978-3-030-99253-8_13openalex-snapshot
A first-order logic characterisation of safety and co-safety languages
inferred← citeshttps://doi.org/10.1007/978-3-031-25803-9_1openalex-snapshot
Compositional Safety LTL Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-031-30829-1_17openalex-snapshot
Quantitative Safety and Liveness
inferred← citeshttps://doi.org/10.1007/978-3-031-43240-8_12openalex-snapshot
Complete Property-Oriented Module Testing
inferred← citeshttps://doi.org/10.1007/978-3-031-44267-4_25openalex-snapshot
Monitorability for Runtime Verification
inferred← citeshttps://doi.org/10.1007/978-3-031-47963-2_16openalex-snapshot
Efficient Reactive Synthesis Using Mode Decomposition
inferred← citeshttps://doi.org/10.1007/978-3-031-56255-6_6openalex-snapshot
Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas
inferred← citeshttps://doi.org/10.1007/978-3-032-39395-1_1openalex-snapshot
Contract-Based Compositional Shielding for Safe Multi-agent Reinforcement Learning
inferred← citeshttps://doi.org/10.1007/978-3-319-05032-4_16openalex-snapshot
Applied Bounded Model Checking for Interlocking System Designs
inferred← citeshttps://doi.org/10.1007/978-3-319-19458-5_4openalex-snapshot
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools
inferred← citeshttps://doi.org/10.1007/978-3-319-23506-6_10openalex-snapshot
Translating Testing Theories for Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-24953-7_13openalex-snapshot
Spanning the Spectrum from Safety to Liveness
inferred← citeshttps://doi.org/10.1007/978-3-319-34171-2_1openalex-snapshot
On High-Quality Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-319-44760-5_11openalex-snapshot
Qualitative Privacy Description Language
inferred← citeshttps://doi.org/10.1007/978-3-319-47169-3_4openalex-snapshot
On the Feasibility of a Unified Modelling and Programming Paradigm
inferred← citeshttps://doi.org/10.1007/978-3-319-48989-6_1openalex-snapshot
Industrial-Strength Model-Based Testing of Safety-Critical Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-70389-3_10openalex-snapshot
A Symbolic Approach to Safety ltl Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-24730-2_43openalex-snapshot
From Complementation to Certification
inferred← citeshttps://doi.org/10.1007/978-3-540-27813-9_8openalex-snapshot
Proving More Properties with Bounded Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-30124-0_24openalex-snapshot
Intuitionistic LTL and a New Characterization of Safety and Liveness
inferred← citeshttps://doi.org/10.1007/978-3-540-30494-4_17openalex-snapshot
Increasing the Robustness of Bounded Model Checking by Computing Lower Bounds on the Reachable States
inferred← citeshttps://doi.org/10.1007/978-3-540-39724-3_10openalex-snapshot
On Complementing Nondeterministic Büchi Automata
inferred← citeshttps://doi.org/10.1007/978-3-540-39979-7_20openalex-snapshot
Correct Passive Testing Algorithms and Complete Fault Coverage
inferred← citeshttps://doi.org/10.1007/978-3-540-45138-9_26openalex-snapshot
Relating Hierarchy of Temporal Properties to Model Checking
inferred← citeshttps://doi.org/10.1007/978-3-540-68863-1_4openalex-snapshot
Modular Preservation of Safety Properties by Cookie-Based DoS-Protection Wrappers
inferred← citeshttps://doi.org/10.1007/978-3-540-73368-3_20openalex-snapshot
Hector: Software Model Checking with Cooperating Analysis Plugins
inferred← citeshttps://doi.org/10.1007/978-3-540-74915-8_5openalex-snapshot
Tightening the Exchange Rates Between Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-00768-2_31openalex-snapshot
Falsification of LTL Safety Properties in Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_26openalex-snapshot
Model Checking Hierarchical Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16982-3_8openalex-snapshot
A Formal Model of Reliable Sensor Perception
inferred← citeshttps://doi.org/10.1007/978-3-642-28872-2_5openalex-snapshot
Consistency of Service Composition
inferred← citeshttps://doi.org/10.1007/978-3-642-32527-4_30openalex-snapshot
Planning in Discrete and Continuous Spaces: From LTL Tasks to Robot Motions
inferred← citeshttps://doi.org/10.1007/978-3-642-32759-9_25openalex-snapshot
Applying Software Model Checking Techniques for Behavioral UML Models
inferred← citeshttps://doi.org/10.1007/978-3-642-39611-3_22openalex-snapshot
Environment-Friendly Safety
inferred← citeshttps://doi.org/10.1007/978-3-642-54013-4_7openalex-snapshot
Probabilistic Automata for Safety LTL Specifications
inferred← citeshttps://doi.org/10.1007/978-3-662-43645-5_36openalex-snapshot
Motion Planning and Decision Making for Underwater Vehicles Operating in Constrained Environments in the Littoral
inferred← citeshttps://doi.org/10.1007/978-981-15-1925-3_12openalex-snapshot
An Efficient Concurrent System Networking Protocol Specification and Verification Using Linear Temporal Logic
inferred← citeshttps://doi.org/10.1007/978-981-16-5203-5_4openalex-snapshot
GPenSIM for Monolithic Petri Nets
inferred← citeshttps://doi.org/10.1007/s00165-011-0183-6openalex-snapshot
On the limits of refinement-testing for model-checking CSP
inferred← citeshttps://doi.org/10.1007/s00165-021-00551-6openalex-snapshot
Efficient data validation for geographical interlocking systems
inferred← citeshttps://doi.org/10.1007/s00236-016-0284-zopenalex-snapshot
The complexity of counting models of linear-time temporal logic
inferred← citeshttps://doi.org/10.1007/s00236-017-0307-4openalex-snapshot
Spanning the spectrum from safety to liveness
inferred← citeshttps://doi.org/10.1007/s10009-012-0224-3openalex-snapshot
Safety first: a two-stage algorithm for the synthesis of reactive systems
inferred← citeshttps://doi.org/10.1007/s10009-012-0233-2openalex-snapshot
Falsification of LTL safety properties in hybrid systems
inferred← citeshttps://doi.org/10.1007/s10009-021-00625-zopenalex-snapshot
What can we monitor over unreliable channels?
inferred← citeshttps://doi.org/10.1007/s10207-012-0159-4openalex-snapshot
Formal analysis for robust anti-SPIT protection using model checking
inferred← citeshttps://doi.org/10.1007/s10270-023-01122-4openalex-snapshot
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
inferred← citeshttps://doi.org/10.1007/s10626-009-0084-5openalex-snapshot
Prognosis of ω-Languages for the Diagnosis of *-Languages: A Topological Perspective
inferred← citeshttps://doi.org/10.1007/s10703-011-0117-1openalex-snapshot
On the refinement of liveness properties of distributed systems
inferred← citeshttps://doi.org/10.1007/s10703-017-0277-8openalex-snapshot
On relative and probabilistic finite counterability
inferred← citeshttps://doi.org/10.1007/s10703-023-00429-8openalex-snapshot
On monitoring linear temporal properties
inferred← citeshttps://doi.org/10.1007/s11219-018-9421-yopenalex-snapshot
Safety-complete test suites
inferred← citeshttps://doi.org/10.1007/s11227-008-0240-yopenalex-snapshot
A new formalism for mathematical description and verification of component-based systems
inferred← citeshttps://doi.org/10.1016/j.artint.2016.10.003openalex-snapshot
Arbitrary arrow update logic
inferred← citeshttps://doi.org/10.1016/j.cose.2009.09.003openalex-snapshot
Runtime verification of cryptographic protocols
inferred← citeshttps://doi.org/10.1016/j.cosrev.2010.06.002openalex-snapshot
Linear Temporal Logic Symbolic Model Checking
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.07.019openalex-snapshot
Termination Criteria for Bounded Model Checking: Extensions and Comparison
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.02.005openalex-snapshot
Monitoring Interfaces for Faults
inferred← citeshttps://doi.org/10.1016/j.fss.2026.109903openalex-snapshot
Fuzzy Safety and Liveness in Branching Time
inferred← citeshttps://doi.org/10.1016/j.ic.2024.105262openalex-snapshot
Succinctness issues for LTL and safety and cosafety fragments of LTL
inferred← citeshttps://doi.org/10.1016/j.ic.2025.105360openalex-snapshot
Monotonicity characterizations of regular languages
inferred← citeshttps://doi.org/10.1016/j.ifacol.2015.11.198openalex-snapshot
Controller Synthesis for Mode-Target Games
inferred← citeshttps://doi.org/10.1016/j.infsof.2021.106800openalex-snapshot
A systematic literature review on counterexample explanation
inferred← citeshttps://doi.org/10.1016/j.ipl.2014.06.005openalex-snapshot
Deciding safety and liveness in TPTL
inferred← citeshttps://doi.org/10.1016/j.ipl.2024.106488openalex-snapshot
Prenex universal first-order safety properties
inferred← citeshttps://doi.org/10.1016/j.jlamp.2024.101002openalex-snapshot
Towards the exact complexity of realizability for Safety LTL
inferred← citeshttps://doi.org/10.1016/j.jlap.2008.08.004openalex-snapshot
A brief account of runtime verification
inferred← citeshttps://doi.org/10.1016/j.robot.2019.103289openalex-snapshot
Petri net based multi-robot task coordination from temporal logic specifications
inferred← citeshttps://doi.org/10.1016/j.scico.2023.103005openalex-snapshot
Exhaustive property oriented model-based testing with symbolic finite state machines
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103220openalex-snapshot
Towards partial monitoring: Never too early to give in
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.08.004openalex-snapshot
ω -Regular languages are testable with a constant number of queries
inferred← citeshttps://doi.org/10.1016/j.tcs.2005.07.021openalex-snapshot
From complementation to certification
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00071-5openalex-snapshot
Using temporal logics to express search control knowledge for planning
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00252-xopenalex-snapshot
On the Construction of Monitors for Temporal Logic Properties
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80523-1openalex-snapshot
Bounded Model Checking for Timed Automata1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096.
inferred← citeshttps://doi.org/10.1017/s0263574715000417openalex-snapshot
Robot motion planning with task specifications via regular languages
inferred← citeshttps://doi.org/10.1023/a:1011254632723openalex-snapshot
Model Checking of Safety Properties
inferred← citeshttps://doi.org/10.1049/ip-sen:20010558openalex-snapshot
Specification and validation of dynamic systems using temporal logic
inferred← citeshttps://doi.org/10.1080/00207161003703205openalex-snapshot
An abstract interpretation-based model for safety semantics
inferred← citeshttps://doi.org/10.1080/0952813x.2023.2222374openalex-snapshot
Constructing condensed memories in functorial time
inferred← citeshttps://doi.org/10.1093/logcom/exac053openalex-snapshot
Copying safety and liveness properties of computational artefacts
inferred← citeshttps://doi.org/10.1109/access.2023.3257185openalex-snapshot
Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/access.2024.3351893openalex-snapshot
Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/access.2024.3392289openalex-snapshot
End-to-End Path Planning Under Linear Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/ase.2008.35openalex-snapshot
Inferring Finite-State Models with Temporal Constraints
inferred← citeshttps://doi.org/10.1109/aswec.2006.36openalex-snapshot
Model-based runtime analysis of distributed reactive systems
inferred← citeshttps://doi.org/10.1109/cdc.2017.8263891openalex-snapshot
Robust multi-layered sampling-based path planning for temporal logic-based missions
inferred← citeshttps://doi.org/10.1109/dance.2002.1003494openalex-snapshot
Developing dynamic security policies
inferred← citeshttps://doi.org/10.1109/fmcad.2009.5351138openalex-snapshot
Safety first: A two-stage algorithm for LTL games
inferred← citeshttps://doi.org/10.1109/icsa53651.2022.00022openalex-snapshot
Architectural Refactoring for Functional Properties in Evolutionary Architecture
inferred← citeshttps://doi.org/10.1109/iros.2012.6385726openalex-snapshot
Path planning with probabilistic roadmaps and co-safe linear temporal logic
inferred← citeshttps://doi.org/10.1109/iros.2014.6943085openalex-snapshot
Sampling-based tree search with discrete abstractions for motion planning with dynamics and temporal logic
inferred← citeshttps://doi.org/10.1109/issre.2011.19openalex-snapshot
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
inferred← citeshttps://doi.org/10.1109/joe.2015.2503498openalex-snapshot
Mission and Motion Planning for Autonomous Underwater Vehicles Operating in Spatially and Temporally Complex Environments
inferred← citeshttps://doi.org/10.1109/lics.2001.932512openalex-snapshot
Safety and liveness in branching time
inferred← citeshttps://doi.org/10.1109/lics.2007.11openalex-snapshot
Alternation-free modal mu-calculus for data trees
inferred← citeshttps://doi.org/10.1109/lra.2017.2727514openalex-snapshot
Cost-Aware Path Planning Under Co-Safe Temporal Logic Specifications
inferred← citeshttps://doi.org/10.1109/qrs62785.2024.00060openalex-snapshot
Fuzzy Safety and Liveness Properties in Linear-time
inferred← citeshttps://doi.org/10.1109/sbesc.2011.28openalex-snapshot
Contributions to Improvement of the Formal Properties Verification Process in AADL Programs
inferred← citeshttps://doi.org/10.1109/ssiri-c.2010.14openalex-snapshot
An Efficient Method of Probabilistic Model Checking
inferred← citeshttps://doi.org/10.1109/tac.2013.2295664openalex-snapshot
Language-Guided Controller Synthesis for Linear Systems
inferred← citeshttps://doi.org/10.1109/tac.2017.2722960openalex-snapshot
Mode-Target Games: Reactive Synthesis for Control Applications
inferred← citeshttps://doi.org/10.1109/tac.2020.3044273openalex-snapshot
Chance-Constrained Multilayered Sampling-Based Path Planning for Temporal Logic-Based Missions
inferred← citeshttps://doi.org/10.1109/tencon.2002.1182598openalex-snapshot
Building hybrid real-time model in water industry systems
inferred← citeshttps://doi.org/10.1109/tii.2020.3038679openalex-snapshot
Virtual Prototyping a Production Line Using Assume–Guarantee Contracts
inferred← citeshttps://doi.org/10.1109/time.2016.12openalex-snapshot
Verify LTL with Fairness Assumptions Efficiently
inferred← citeshttps://doi.org/10.1109/tr.2021.3139616openalex-snapshot
Approximate Safety Properties in Metric Transition Systems
inferred← citeshttps://doi.org/10.1109/tsc.2018.2789454openalex-snapshot
Web Service Interaction Modeling and Verification Using Recursive Composition Algebra
inferred← citeshttps://doi.org/10.1109/urai.2017.7992721openalex-snapshot
Reactive controller synthesis for UAV mission planning
inferred← citeshttps://doi.org/10.1109/urai.2018.8441822openalex-snapshot
Robust Multi-Objective Path Planning for Flying Robots under Wind Disturbance
inferred← citeshttps://doi.org/10.1109/vtcfall.2018.8690822openalex-snapshot
Safe Driving Capacity of Autonomous Vehicles
inferred← citeshttps://doi.org/10.1109/wacv48630.2021.00202openalex-snapshot
Interpretable and Trustworthy Deepfake Detection via Dynamic Prototypes
inferred← citeshttps://doi.org/10.1109/wodes.2008.4605948openalex-snapshot
A topological perspective on diagnosis
inferred← citeshttps://doi.org/10.1142/s0129054119400203openalex-snapshot
Sensing as a Complexity Measure
inferred← citeshttps://doi.org/10.1145/1073814.1073816openalex-snapshot
A topological characterization of weakness
inferred← citeshttps://doi.org/10.1145/1370905.1370910openalex-snapshot
Security protocols, properties, and their monitoring
inferred← citeshttps://doi.org/10.1145/1542207.1542227openalex-snapshot
Foundations for group-centric secure information sharing models
inferred← citeshttps://doi.org/10.1145/1982185.1982507openalex-snapshot
Complexity of fairness constraints for the Dolev-Yao attacker model
inferred← citeshttps://doi.org/10.1145/2001420.2001430openalex-snapshot
Automated framework for formal operator task analysis
inferred← citeshttps://doi.org/10.1145/2185632.2185649openalex-snapshot
Language-guided controller synthesis for discrete-time linear systems
inferred← citeshttps://doi.org/10.1145/2414456.2414501openalex-snapshot
The specification and compilation of obligation policies for program monitoring
inferred← citeshttps://doi.org/10.1145/2461328.2461379openalex-snapshot
Temporal logic model predictive control for discrete-time systems
inferred← citeshttps://doi.org/10.1145/2462410.2462423openalex-snapshot
Privacy promises that can be kept
inferred← citeshttps://doi.org/10.1145/2532440openalex-snapshot
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations
inferred← citeshttps://doi.org/10.1145/3078861.3078873openalex-snapshot
Verifiable Assume-Guarantee Privacy Specifications for Actor Component Architectures
inferred← citeshttps://doi.org/10.1145/3417995openalex-snapshot
A Unified Translation of Linear Temporal Logic to ω-Automata
inferred← citeshttps://doi.org/10.1145/3651161openalex-snapshot
First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications
inferred← citeshttps://doi.org/10.1145/3704888openalex-snapshot
Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis
inferred← citeshttps://doi.org/10.1145/872035.872083openalex-snapshot
A lattice-theoretic characterization of safety and liveness
inferred← citeshttps://doi.org/10.13021/mars/4950openalex-snapshot
Group-Centric Secure Information Sharing Models
inferred← citeshttps://doi.org/10.1609/aaai.v37i5.25768openalex-snapshot
Complexity of Safety and coSafety Fragments of Linear Temporal Logic
inferred← citeshttps://doi.org/10.2168/lmcs-11(3:12)2015openalex-snapshot
Detecting Unrealizability of Distributed Fault-tolerant Systems
inferred← citeshttps://doi.org/10.2298/csis200131013bopenalex-snapshot
Reverse engineering models of software interfaces
inferred← citeshttps://doi.org/10.24963/ijcai.2018/651openalex-snapshot
LTL Realizability via Safety and Reachability Games
inferred← citeshttps://doi.org/10.31234/osf.io/gbkd3openalex-snapshot
Constructing Condensed Memories in Functorial Time
inferred← citeshttps://doi.org/10.3233/aic-150682openalex-snapshot
Motion planning with temporal-logic specifications: Progress and challenges
inferred← citeshttps://doi.org/10.32657/10356/72377openalex-snapshot
Parallelizing model checking algorithms using multi-core and many-core architectures
inferred← citeshttps://doi.org/10.3384/diss.diva-173568openalex-snapshot
Parameterized Verification of Synchronized Concurrent Programs
inferred← citeshttps://doi.org/10.3389/fcomp.2022.1114625openalex-snapshot
Using the past for resolving the future
inferred← citeshttps://doi.org/10.3389/frai.2024.1236310openalex-snapshot
A framework for extending co-creative communication models to sustainability research
inferred← citeshttps://doi.org/10.3390/electronics13132437openalex-snapshot
Mission-Conditioned Path Planning with Transformer Variational Autoencoder
inferred← citeshttps://doi.org/10.3390/s24102998openalex-snapshot
Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications
inferred← citeshttps://doi.org/10.3923/itj.2012.1391.1399openalex-snapshot
Specifications Mining Based on Adjusted Automata Learning Algorithm
inferred← citeshttps://doi.org/10.3929/ethz-a-005170555openalex-snapshot
Liveness checking as safety checking to find shortest counterexamples to linear time properties
inferred← citeshttps://doi.org/10.4204/eptcs.111.1openalex-snapshot
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
inferred← citeshttps://doi.org/10.4204/eptcs.348.3openalex-snapshot
Towards Partial Monitoring: It is Always too Soon to Give Up
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2015.380openalex-snapshot
The Sensing Cost of Monitoring and Synthesis
inferred← citeshttps://doi.org/10.4230/lipics.stacs.2011.615openalex-snapshot
Temporal Synthesis for Bounded Systems and Environments
inferred← citeshttps://doi.org/10.46298/lmcs-19(3:13)2023openalex-snapshot
A first-order logic characterization of safety and co-safety languages
inferred← citeshttps://doi.org/10.48550/arxiv.1705.09427openalex-snapshot
SpinArt: A Spin-based Verifier for Artifact Systems
inferred← citeshttps://doi.org/10.70675/1b0bfe3bzfe7bz4748za9a1zc38ebd508e3fopenalex-snapshot
Parity games and reachability in infinite-state systems with parameters
inferred← citeshttps://doi.org/10.7561/sacs.2023.2.93openalex-snapshot
Describing Weighted Safety with Weighted LTL over Product omega-valuation Monoids
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.